login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#41 fresh databases are not copied back for build  ← ↑ →  #411 "forbidden" type generated by trigonometric expression

#410 )di abb is broken
  
last edited 15 years ago by gdr

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 (16 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