login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#156 Axiom crashes when compiling simple Taylor code  ← ↑ →  #158 Result with partial display in TeXmacs

#157 bad call to getdatabase
  
last edited 16 years ago by kratt6

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

)lisp (setq miss t) will cause messages to be output that show the arguments to the getdatabase function. The first argument is the constructor and the second argument is the key.

There is a bug somewhere. Given the sequence: 

  )lisp (setq *miss* t)
  1
  1
  x
  x <--- getdatabase gets called with constructor=CONSTRUCTORMODEMAP key=Variable

which is incorrect.

Explicitation --unknown, Wed, 18 May 2005 13:23:10 -0500 reply
axiom
)lisp (setq *miss* t)

Value = T
1

getdatabase call: --immediateData--    CONSTRUCTOR
getdatabase call: --immediateData--    ABBREVIATION

getdatabase call: PositiveInteger      CONSTRUCTORKIND
getdatabase call: OutputForm           ABBREVIATION
getdatabase call: OutputForm           ABBREVIATION
getdatabase call: OutputForm           COSIG
getdatabase call: PositiveInteger      OPERATIONALIST
getdatabase call: OutputForm           OPERATIONALIST
getdatabase call: PositiveInteger      CONSTRUCTORKIND
getdatabase call: PositiveInteger      COSIG
getdatabase call: PositiveInteger      CONSTRUCTORKIND
getdatabase call: OutputForm           COSIG
getdatabase call: PositiveInteger      CONSTRUCTORKIND
getdatabase call: NonNegativeInteger   CONSTRUCTORKIND
getdatabase call: NonNegativeInteger   CONSTRUCTORKIND
getdatabase call: OutputForm           COSIG
getdatabase call: PositiveInteger      CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: OutputForm           COSIG
getdatabase call: PositiveInteger      CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: OutputForm           CONSTRUCTORKIND
getdatabase call: SExpression          OBJECT
getdatabase call: SExpression          CONSTRUCTORKIND
getdatabase call: SExpression          CONSTRUCTORKIND
getdatabase call: SExpression          CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: OutputForm           CONSTRUCTORKIND
getdatabase call: OutputForm           CONSTRUCTORKIND
getdatabase call: OutputForm           CONSTRUCTORKIND
getdatabase call: OutputForm           CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: TexFormat            ABBREVIATION
getdatabase call: TexFormat            OPERATIONALIST
getdatabase miss: TexFormat            OPERATIONALIST
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            COSIG
getdatabase call: TexFormat            OBJECT
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: SingleInteger        CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: ConvertibleTo        COSIG
getdatabase call: InputForm            COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: ConvertibleTo        COSIG
getdatabase call: InputForm            COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: OpenMath             COSIG
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Evalable             COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Evalable             COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Evalable             COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: OutputForm           COSIG
getdatabase call: Integer              COSIG
getdatabase call: TexFormat            ABBREVIATION
getdatabase call: TexFormat            OPERATIONALIST
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            COSIG
getdatabase call: Void                 COSIG
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: String               COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: String               COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Integer              COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: ConvertibleTo        COSIG
getdatabase call: InputForm            COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: Character            COSIG
getdatabase call: Integer              COSIG
getdatabase call: Character            COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: Character            COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Integer              COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: StringAggregate&     OBJECT
getdatabase call: StringAggregate&     CONSTRUCTORKIND
getdatabase call: StringAggregate&     CONSTRUCTORKIND
getdatabase call: OneDimensionalArrayAggregate& OBJECT
getdatabase call: OneDimensionalArrayAggregate& CONSTRUCTORKIND
getdatabase call: OneDimensionalArrayAggregate& CONSTRUCTORKIND
getdatabase call: FiniteLinearAggregate& OBJECT
getdatabase call: FiniteLinearAggregate& CONSTRUCTORKIND
getdatabase call: FiniteLinearAggregate& CONSTRUCTORKIND
getdatabase call: LinearAggregate&     OBJECT
getdatabase call: LinearAggregate&     CONSTRUCTORKIND
getdatabase call: LinearAggregate&     CONSTRUCTORKIND
getdatabase call: Character            ABBREVIATION
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: LinearAggregate&     CONSTRUCTORKIND
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: LinearAggregate&     CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: LinearAggregate&     CONSTRUCTORKIND
getdatabase call: NonNegativeInteger   COSIG
getdatabase call: NonNegativeInteger   COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: LinearAggregate&     CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Integer              COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
\label{eq1}getdatabase call : \hbox{\axiomType{TexFormat}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Character}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Boolean}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{Boolean}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{Character}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Character}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{SetCategory}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{InputForm}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{OrderedSet}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{OrderedSet}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Evalable}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Evalable}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Evalable}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : finiteAggregate \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{SetCategory}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : finiteAggregate \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : shallowlyMutable \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{SetCategory}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{InputForm}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{OrderedSet}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{OrderedSet}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Evalable}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Evalable}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Evalable}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedList}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedList}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : finiteAggregate \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{SetCategory}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedList}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : finiteAggregate \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedList}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : shallowlyMutable \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedList}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{ABBREVIATION}\ } getdatabase call : \hbox{\axiomType{UniversalSegment}\ } \hbox{\axiomType{OBJECT}\ } getdatabase call : \hbox{\axiomType{UniversalSegment}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{UniversalSegment}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{InputForm}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{OrderedRing}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{SetCategory}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{ConvertibleTo}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{InputForm}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{OrderedRing}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{UniversalSegment}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{UniversalSegment}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{UniversalSegment}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Boolean}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{Boolean}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{UniversalSegment}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{UniversalSegment}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedList}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{IndexedList}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{List}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{TexFormat}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{ABBREVIATION}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{UniversalSegment}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{TexFormat}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Character}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Integer}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{IndexedString}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{String}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{TexFormat}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Boolean}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{Boolean}\ } \hbox{\axiomType{COSIG}\ } getdatabase call : \hbox{\axiomType{Character}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } getdatabase call : \hbox{\axiomType{Character}\ } \hbox{\axiomType{CONSTRUCTORKIND}\ } 1(1)
axiom
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: Void                 OBJECT
getdatabase call: Void                 CONSTRUCTORKIND
getdatabase call: Void                 CONSTRUCTORKIND
getdatabase call: Void                 CONSTRUCTORKIND
getdatabase call: Void                 CONSTRUCTORKIND

getdatabase call: PositiveInteger      ABBREVIATION
Type: PositiveInteger?
axiom
1

getdatabase call: --immediateData--    CONSTRUCTOR
getdatabase call: --immediateData--    ABBREVIATION

getdatabase call: PositiveInteger      CONSTRUCTORKIND
getdatabase call: TexFormat            ABBREVIATION
getdatabase call: TexFormat            OPERATIONALIST
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            COSIG
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: OutputForm           COSIG
getdatabase call: TexFormat            ABBREVIATION
getdatabase call: TexFormat            OPERATIONALIST
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            COSIG
getdatabase call: TexFormat            CONSTRUCTORKIND
\label{eq2}1(2)
axiom
getdatabase call: PositiveInteger      ABBREVIATION
Type: PositiveInteger?
axiom
x

getdatabase call: x                    CONSTRUCTOR
getdatabase call: x                    ABBREVIATION

getdatabase call: Variable             CONSTRUCTORKIND
getdatabase call: TexFormat            ABBREVIATION
getdatabase call: TexFormat            OPERATIONALIST
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            COSIG
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: OutputForm           COSIG
getdatabase call: TexFormat            ABBREVIATION
getdatabase call: TexFormat            OPERATIONALIST
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            COSIG
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: Symbol               ABBREVIATION
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              ABBREVIATION
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Reference            CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Reference            CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: AssociationList      CONSTRUCTORKIND
getdatabase call: AssociationList      CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: AssociationList      CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Reference            CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: AssociationList      CONSTRUCTORKIND
getdatabase call: AssociationList      CONSTRUCTORKIND
getdatabase call: List                 COSIG
getdatabase call: Reference            CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: String               ABBREVIATION
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: ConvertibleTo        COSIG
getdatabase call: InputForm            COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Evalable             COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Evalable             COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Evalable             COSIG
getdatabase call: PrimitiveArray       CONSTRUCTORKIND
getdatabase call: PrimitiveArray       CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: PrimitiveArray       CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: PrimitiveArray       CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: List                 COSIG
getdatabase call: PrimitiveArray       CONSTRUCTORKIND
getdatabase call: List                 COSIG
getdatabase call: PrimitiveArray       CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: OneDimensionalArrayAggregate& CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: OneDimensionalArrayAggregate& CONSTRUCTORKIND
getdatabase call: PrimitiveArray       CONSTRUCTORKIND
getdatabase call: List                 COSIG
getdatabase call: OneDimensionalArrayAggregate& CONSTRUCTORKIND
getdatabase call: NonNegativeInteger   COSIG
getdatabase call: PrimitiveArray       CONSTRUCTORKIND
getdatabase call: NonNegativeInteger   COSIG
getdatabase call: OneDimensionalArrayAggregate& CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Integer              COSIG
getdatabase call: PrimitiveArray       CONSTRUCTORKIND
getdatabase call: OneDimensionalArrayAggregate& CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: PrimitiveArray       CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: ConvertibleTo        COSIG
getdatabase call: ConvertibleTo        COSIG
getdatabase call: ConvertibleTo        COSIG
getdatabase call: ConvertibleTo        COSIG
getdatabase call: InputForm            COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: OpenMath             COSIG
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: ConvertibleTo        COSIG
getdatabase call: ConvertibleTo        COSIG
getdatabase call: ConvertibleTo        COSIG
getdatabase call: ConvertibleTo        COSIG
getdatabase call: InputForm            COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Integer              CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: finiteAggregate      COSIG
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: ListAggregate&       OBJECT
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: StreamAggregate&     OBJECT
getdatabase call: StreamAggregate&     CONSTRUCTORKIND
getdatabase call: StreamAggregate&     CONSTRUCTORKIND
getdatabase call: ExtensibleLinearAggregate& OBJECT
getdatabase call: ExtensibleLinearAggregate& CONSTRUCTORKIND
getdatabase call: ExtensibleLinearAggregate& CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: FiniteLinearAggregate& CONSTRUCTORKIND
getdatabase call: FiniteLinearAggregate& CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: FiniteLinearAggregate& CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: FiniteLinearAggregate& CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Integer              COSIG
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: NonNegativeInteger   COSIG
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: NonNegativeInteger   COSIG
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: Boolean              COSIG
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: Boolean              COSIG
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: Boolean              COSIG
getdatabase call: Boolean              COSIG
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: Symbol               CONSTRUCTORKIND
getdatabase call: ListAggregate&       CONSTRUCTORKIND
getdatabase call: IndexedList          CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: List                 CONSTRUCTORKIND
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Character            COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Character            ABBREVIATION
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: OneDimensionalArrayAggregate& CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: OneDimensionalArrayAggregate& CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: shallowlyMutable     COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: OrderedSet           COSIG
getdatabase call: Character            CONSTRUCTORKIND
getdatabase call: SetCategory          COSIG
getdatabase call: FiniteLinearAggregate& CONSTRUCTORKIND
getdatabase call: FiniteLinearAggregate& CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: FiniteLinearAggregate& CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Integer              COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: FiniteLinearAggregate& CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Integer              COSIG
getdatabase call: Integer              COSIG
getdatabase call: String               CONSTRUCTORKIND
getdatabase call: Integer              COSIG
getdatabase call: Integer              COSIG
getdatabase call: Integer              COSIG
getdatabase call: IndexedString        CONSTRUCTORKIND
getdatabase call: String               CONSTRUCTORKIND
\label{eq3}x(3)
axiom
getdatabase call: Variable             ABBREVIATION
getdatabase call: Variable             CONSTRUCTORMODEMAP
Type: Variable(x)
axiom
x

getdatabase call: x                    CONSTRUCTOR
getdatabase call: x                    ABBREVIATION

getdatabase call: Variable             CONSTRUCTORKIND
getdatabase call: TexFormat            ABBREVIATION
getdatabase call: TexFormat            OPERATIONALIST
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            COSIG
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: OutputForm           COSIG
getdatabase call: TexFormat            ABBREVIATION
getdatabase call: TexFormat            OPERATIONALIST
getdatabase call: TexFormat            CONSTRUCTORKIND
getdatabase call: TexFormat            COSIG
getdatabase call: TexFormat            CONSTRUCTORKIND
\label{eq4}x(4)
axiom
getdatabase call: Variable             ABBREVIATION
getdatabase call: Variable             CONSTRUCTORMODEMAP
Type: Variable(x)
axiom
)lisp (setq *miss* nil)

Value = NIL

... --kratt6, Sat, 19 Jan 2008 05:21:12 -0800 reply
Status: open => rejected

very likely, output was incorrectly interpreted by the user.



  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: