The ICARD domain implements a container of information about the AXIOM library fricas (1) -> info:="diferentiate"::ICARD
Type: IndexCard?
fricas info(name)
Type: String
fricas info(kind)
Type: String
fricas info(abbreviation) No, this usage is wrong. ICARD assumes that data is stored as in Axiom/FriCAS database. One can not use a random string here. Axiom Book gives examples of correct usage. ... --kratt6, Fri, 28 Dec 2007 15:08:31 -0800 reply Category: Aldor Library Compiler => Axiom Library
ICARD does not work this way, but coercion should yield an error
The IndexCard? documentation says that bad things may happen if the
original string is not of the database format.
Status: open => rejected
|