|
|
|
last edited 16 years ago by kratt6 |
Edit detail for #157 bad call to getdatabase revision 3 of 3
| 1 2 3 | ||
|
Editor: kratt6
Time: 2008/01/19 05:21:12 GMT-8 |
||
| Note: | ||
added:
From kratt6 Sat Jan 19 05:21:12 -0800 2008
From: kratt6
Date: Sat, 19 Jan 2008 05:21:12 -0800
Subject:
Message-ID: <20080119052112-0800@axiom-wiki.newsynthesis.org>
Status: open => rejected
very likely, output was incorrectly interpreted by the user.
)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
 | (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
 | (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
 | (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
 | (4) |
axiom
getdatabase call: Variable ABBREVIATION getdatabase call: Variable CONSTRUCTORMODEMAP
Type: Variable(x)
axiom
)lisp (setq *miss* nil)Status: open => rejected
Value = NIL
very likely, output was incorrectly interpreted by the user.