login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #410 )di abb is broken revision 1 of 6

1 2 3 4 5 6
Editor: kratt6
Time: 2008/01/03 10:06:33 GMT-8
Note:

changed:
-
\begin{axiom}
)di abb INT
\end{axiom}

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

\begin{axiom}
)di abb Integer
\end{axiom}

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

Martin


Submitted by : kratt6 at: 2008-01-03T10:06:33-08:00 (14 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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