|
|
|
last edited 17 years ago by gdr |
| 1 2 3 4 5 6 | ||
|
Editor: kratt6
Time: 2008/01/19 00:56:18 GMT-8 |
||
| Note: fixed in FriCAS | ||
added:
From kratt6 Sat Jan 19 00:56:18 -0800 2008
From: kratt6
Date: Sat, 19 Jan 2008 00:56:18 -0800
Subject: fixed in FriCAS
Message-ID: <20080119005618-0800@axiom-wiki.newsynthesis.org>
Status: open => fix proposed
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