MathAction #410 )di abb is broken

Topics

axiom

)di abb INT

   INT is neither a constructor name nor a constructor abbreviation.

should give Integer, or at least a correct error message (for example: INT is not a constructor name).

axiom

)di abb Integer

   INT abbreviates domain Integer

gives the abbreviation INT, but sometimes I'd like to go the other way.

Martin

fixed in FriCAS --kratt6, Sat, 19 Jan 2008 00:56:18 -0800 reply

Status: open => fix proposed

... --gdr, Sun, 18 May 2008 13:36:04 -0700 reply

Status: fix proposed => fixed somewhere

no patch available

Patch from Fricas --alfredo, Thu, 16 Oct 2008 03:24:19 -0700 reply

... --japp, Thu, 16 Oct 2008 13:46:34 -0700 reply

Status: fixed somewhere => fix proposed

Fixed in OpenAxiom --gdr, Fri, 17 Oct 2008 09:41:28 -0700 reply