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

Submitted by : (unknown) at: 2007-11-17T21:59:34-08:00 (9 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
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
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

Status: open => rejected

very likely, output was incorrectly interpreted by the user.




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