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

Edit detail for #224 ICARD fails to display database info revision 6 of 6

1 2 3 4 5 6
Editor: test1
Time: 2014/04/15 17:27:26 GMT+0
Note:

added:

From test1 Tue Apr 15 17:27:25 +0000 2014
From: test1
Date: Tue, 15 Apr 2014 17:27:25 +0000
Subject: 
Message-ID: <20140415172725+0000@axiom-wiki.newsynthesis.org>

Status: open => rejected 


Submitted by : (unknown) at: 2007-11-17T22:11:34-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

The ICARD domain implements a container of information about the AXIOM library

fricas
info:="diferentiate"::ICARD

\label{eq1}\mbox{\tt "diferentiate"}(1)
Type: IndexCard?
fricas
info(name)

\label{eq2}\mbox{\tt "iferentiate"}(2)
Type: String
fricas
info(kind)

\label{eq3}\mbox{\tt "d"}(3)
Type: String
fricas
info(abbreviation)
>> System error: The bounding indices 13 and 12 are bad for a sequence of length 12. See also: The ANSI Standard, Glossary entry for "bounding index designator" The ANSI Standard, writeup for Issue SUBSEQ-OUT-OF-BOUNDS:IS-AN-ERROR

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.

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