|
|
|
last edited 9 years ago by test1 |
Edit detail for #206 Interpreter code generation failed for function returning a Type revision 8 of 11
| 1 2 3 4 5 6 7 8 9 10 11 | ||
|
Editor: Bill Page
Time: 2008/02/27 21:21:56 GMT-8 |
||
| Note: Try it again with SPAD | ||
added:
From BillPage Wed Feb 27 21:21:55 -0800 2008
From: Bill Page
Date: Wed, 27 Feb 2008 21:21:55 -0800
Subject: Try it again with SPAD
Message-ID: <20080227212155-0800@axiom-wiki.newsynthesis.org>
Same function in SPAD:
\begin{spad}
)abbrev package TT testtype
testtype(): exports == implementation where
exports == with
tt1: (Integer) -> Type
implementation == add
tt1(x) ==
x=0 => Integer
Float
\end{spad}
Calling the function like this now works::
\begin{axiom}
FF:=tt1(1)
\end{axiom}
But can we use it?
\begin{axiom}
f:FF:=1.2
\end{axiom}
This function should return a type that depends on a parameter:
axiomtt:INT->Type
Type: Void
axiomtt(x)== (x=0 => Integer; Float)
Type: Void
axiomtt(1) Internal Error Interpreter code generation failed for expression (IF (= |#1| 0) |Integer| |Float|)
Here is the same function in SPAD:
spad)abbrev package TT testtype testtype(): exports == implementation where exports == with tt1: (Integer) -> Type implementation == add tt1(x) == x=0 => Integer Float
spad
Compiling OpenAxiom source code from file
/var/zope2/var/LatexWiki/8965653050310018446-25px002.spad using
old system compiler.
TT abbreviates package testtype
------------------------------------------------------------------------
initializing NRLIB TT for testtype
compiling into NRLIB TT
compiling exported tt1 : Integer -> Type
Time: 0.03 SEC.
(time taken in buildFunctor: 0)
;;; *** |testtype| REDEFINED
;;; *** |testtype| REDEFINED
Time: 0 SEC.
Cumulative Statistics for Constructor testtype
Time: 0.03 seconds
finalizing NRLIB TT
Processing testtype for Browser database:
--->-->testtype((tt1 ((Type) (Integer)))): Not documented!!!!
--->-->testtype(constructor): Not documented!!!!
--->-->testtype(): Missing Description
------------------------------------------------------------------------
testtype is now explicitly exposed in frame initial
testtype will be automatically loaded when needed from
/var/zope2/var/LatexWiki/TT.NRLIB/codeCalling this function like this:
\begin{axiom}
tt1(1)
\end{axiom}
causes Axiom to crash:
(1) -> tt1(1) >> System error: Caught fatal error [memory may be damaged]
But this works using Aldor! :-)
aldor#include "axiom.as"; testtype2(): with { tt2: (Integer) -> Type; } == add { tt2(x:Integer):Type == { x=0 => Integer; Float; } }
aldor
Compiling OpenAxiom source code from file
/var/zope2/var/LatexWiki/7383689924623811223-25px003.as using
AXIOM-XL compiler and options
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra
Use the system command )set compiler args to change these
options.
>> System error:
GETENV is invalid as a function.axiomtt2(1) There are no library operations named tt2 Use HyperDoc Browse or issue )what op tt2 to learn if there is any operation containing " tt2 " in its name. Cannot find a definition or applicable library operation named tt2 with argument type(s) PositiveInteger Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. tt2(0) There are no library operations named tt2 Use HyperDoc Browse or issue )what op tt2 to learn if there is any operation containing " tt2 " in its name. Cannot find a definition or applicable library operation named tt2 with argument type(s) NonNegativeInteger Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.
... --gdr, Fri, 25 Jan 2008 13:27:44 -0800 reply
The problem here, I believe, is that Type is a category almost isolated.
The interpreter thinks of Integer and Float as of type Domain, not Type.
If you change the return type from `Type' to `Domain'. It would not
work in OpenAxiom?. Both `Type' and `Object' seems to be isolated in
the type hierarchy.
This issue is fixed in OpenAxiom?-1.2.0.
Comment from me on Friday January 25, 2008 had a typo in it: I meant
If you change the return type from `Type' to `Domain'. It would work in OpenAxiom?.
Now, the original testcase just works fine.
axiomtt:INT->Domain Compiled code for tt has been cleared.
Type: Void
axiomtt(x)== (x=0 => Integer; Float) 1 old definition(s) deleted for function or rule tt
Type: Void
axiomtt(1)
axiom
Compiling function tt with type Integer -> Domain
 | (1) |
Type: Domain
Status: open => fixed somewhere
If I define a function that returns a domain (such as above):
axiomtt:INT->Domain Compiled code for tt has been cleared.
Type: Void
axiomtt(x)== (x=0 => Integer; Float) 1 old definition(s) deleted for function or rule tt
Type: Void
axiomtt(0)
axiom
Compiling function tt with type Integer -> Domain
 | (2) |
Type: Domain
then can I use it to define new objects? Like this:
axiomf:tt(1):=3.2 Category, domain or package constructor tt is not available. g:tt(0):=3 Category, domain or package constructor tt is not available.
or this:
axiomF:=tt(1)
 | (3) |
Type: Domain
axiomf:F:=3.2 #0=#((|Float|) (#<compiled-function |lookupComplete|> #0# #(~= 319 |zero?| 325 |wholePart| 330 |unitNormal| 335 |unitCanonical| 340 |unit?| 345 |truncate| 350 |tanh| 355 |tan| 360 |subtractIfCan| 365 |squareFreePart| 371 |squareFree| 376 |sqrt| 381 |sizeLess?| 386 |sinh| 392 |sin| 397 |sign| 402 |shift| 407 |sech| 413 |sec| 418 |sample| 423 |round| 427 |retractIfCan| 432 |retract| 442 |rem| 452 |relerror| 458 |recip| 464 |rationalApproximation| 469 |quo| 482 |principalIdeal| 488 |prime?| 493 |precision| 498 |positive?| 507 |pi| 512 |patternMatch| 516 |outputSpacing| 523 |outputGeneral| 528 |outputFloating| 537 |outputFixed| 546 |order| 555 |one?| 560 |nthRoot| 565 |normalize| 571 |norm| 576 |negative?| 581 |multiEuclidean| 586 |min| 592 |max| 598 |mantissa| 604 |log2| 609 |log10| 618 |log| 627 |lcm| 632 |latex| 643 |inv| 648 |increasePrecision| 653 |hash| 658 |gcdPolynomial| 663 |gcd| 669 |fractionPart| 680 |floor| 685 |float| 690 |factor| 703 |extendedEuclidean| 708 |exquo| 721 |expressIdealMember| 727 |exponent| 733 |exp1| 738 |exp| 742 |euclideanSize| 747 |divide| 752 |digits| 758 |differentiate| 767 |decreasePrecision| 778 |csch| 783 |csc| 788 |coth| 793 |cot| 798 |cosh| 803 |cos| 808 |convert| 813 |coerce| 843 |characteristic| 878 |ceiling| 882 |bits| 887 |base| 896 |atanh| 900 |atan| 905 |associates?| 916 |asinh| 922 |asin| 927 |asech| 932 |asec| 937 |acsch| 942 |acsc| 947 |acoth| 952 |acot| 957 |acosh| 962 |acos| 967 |abs| 972 ^ 977 |Zero| 995 |One| 999 |OMwrite| 1003 D 1027 >= 1038 > 1044 = 1050 <= 1056 < 1062 / 1068 - 1080 + 1091 ** 1097 * 1127)) ((|arbitraryExponent| . 0) (|arbitraryPrecision| . 0) (|approximate| . 0) (|canonicalsClosed| . 0) (|canonicalUnitNormal| . 0) (|noZeroDivisors| . 0) ((|commutative| "*") . 0) (|rightUnitary| . 0) (|leftUnitary| . 0) (|unitsKnown| . 0)) 0 (#(|FloatingPointSystem&| |RealNumberSystem&| |Field&| |EuclideanDomain&| T |UniqueFactorizationDomain&| |GcdDomain&| |DivisionRing&| |IntegralDomain&| |Algebra&| |Algebra&| |DifferentialRing&| T |OrderedRing&| |Module&| T T |Module&| T T T |Ring&| T T T T T T T |AbelianGroup&| T T |AbelianMonoid&| |Monoid&| T |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| |TranscendentalFunctionCategory&| T |SetCategory&| T |ElementaryFunctionCategory&| T |HyperbolicFunctionCategory&| |ArcTrigonometricFunctionCategory&| |TrigonometricFunctionCategory&| T T T T |RadicalCategory&| |RetractableTo&| |RetractableTo&| T T |BasicType&| T) #((|FloatingPointSystem|) (|RealNumberSystem|) (|Field|) (|EuclideanDomain|) (|PrincipalIdealDomain|) (|UniqueFactorizationDomain|) (|GcdDomain|) (|DivisionRing|) (|IntegralDomain|) (|Algebra| 118) (|Algebra| $$) (|DifferentialRing|) (|CharacteristicZero|) (|OrderedRing|) (|Module| 118) (|EntireRing|) (|CommutativeRing|) (|Module| $$) (|OrderedAbelianGroup|) (|BiModule| 118 118) (|BiModule| $$ $$) (|Ring|) (|OrderedCancellationAbelianMonoid|) (|RightModule| 118) (|LeftModule| 118) (|LeftModule| $$) (|Rng|) (|RightModule| $$) (|OrderedAbelianMonoid|) (|AbelianGroup|) (|OrderedAbelianSemiGroup|) (|CancellationAbelianMonoid|) (|AbelianMonoid|) (|Monoid|) (|PatternMatchable| 173) (|OrderedSet|) (|AbelianSemiGroup|) (|SemiGroup|) (|TranscendentalFunctionCategory|) (|RealConstant|) (|SetCategory|) (|ConvertibleTo| 168) (|ElementaryFunctionCategory|) (|ArcHyperbolicFunctionCategory|) (|HyperbolicFunctionCategory|) (|ArcTrigonometricFunctionCategory|) (|TrigonometricFunctionCategory|) (|CoercibleTo| 175) (|OpenMath|) (|ConvertibleTo| 14) (|ConvertibleTo| 192) (|RadicalCategory|) (|RetractableTo| 118) (|RetractableTo| 16) (|ConvertibleTo| 173) (|ConvertibleTo| 175) (|BasicType|) (|CoercibleTo| 162)) . #(1 7 0 6 8 1 12 11 0 13 3 12 11 0 14 14 15 2 12 11 0 16 18 1 12 11 0 20 0 21 0 22 2 12 0 14 21 23 1 12 11 0 24 1 12 11 0 25 1 12 11 0 26 1 16 16 0 32 1 0 0 0 53 1 56 16 16 57 2 16 0 6 0 59 1 28 0 0 63 2 0 0 6 0 65 2 0 0 0 6 67 2 6 0 0 6 74 2 16 0 75 0 76 2 75 0 6 0 77 2 75 0 0 6 78 1 7 6 0 96 2 7 6 0 6 97 0 0 0 99 1 16 28 0 105 0 118 0 119 2 118 28 0 0 120 2 118 28 0 0 121 0 118 0 122 1 118 16 0 123 1 118 16 0 124 1 126 0 75 127 1 129 0 14 130 1 132 0 16 133 1 126 75 0 135 0 136 0 137 1 14 16 0 138 2 14 136 0 16 139 3 14 136 0 16 136 140 1 14 16 0 141 1 132 16 0 142 2 143 0 16 16 144 2 14 0 0 143 145 1 136 0 14 146 2 14 0 0 136 147 1 14 0 148 149 2 126 75 0 75 150 2 129 14 0 14 152 2 132 16 0 16 153 1 129 14 0 160 1 162 0 0 164 1 162 0 14 165 1 166 0 14 167 1 168 0 166 169 1 16 168 0 170 1 168 0 148 171 1 175 16 0 178 1 175 16 0 179 1 0 0 16 185 2 118 0 16 16 190 2 0 28 0 0 1 1 0 28 0 33 1 0 16 0 55 1 0 201 0 1 1 0 0 0 1 1 0 28 0 1 1 0 0 0 110 1 0 0 0 82 1 0 0 0 71 2 0 113 0 0 1 1 0 0 0 1 1 0 193 0 1 1 0 0 0 44 2 0 28 0 0 1 1 0 0 0 80 1 0 0 0 69 1 0 16 0 64 2 0 0 0 16 62 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 112 1 0 183 0 184 1 0 187 0 188 1 0 118 0 182 1 0 16 0 186 2 0 0 0 0 1 2 0 16 0 0 102 1 0 113 0 114 3 0 118 0 75 75 181 2 0 118 0 75 189 2 0 0 0 0 1 1 0 199 148 1 1 0 28 0 1 1 0 6 6 98 0 0 6 73 1 0 28 0 106 0 0 0 40 3 0 191 0 192 191 1 1 0 11 75 151 1 0 11 75 157 0 0 11 156 0 0 11 158 1 0 11 75 159 0 0 11 154 1 0 11 75 155 1 0 16 0 58 1 0 28 0 104 2 0 0 0 16 1 1 0 0 0 48 1 0 0 0 1 1 0 28 0 35 2 0 196 148 0 1 2 0 0 0 0 1 2 0 0 0 0 1 1 0 16 0 17 1 0 0 0 92 0 0 0 87 1 0 0 0 93 0 0 0 91 1 0 0 0 83 1 0 0 148 1 2 0 0 0 0 1 1 0 14 0 1 1 0 0 0 116 1 0 6 16 43 1 0 202 0 1 2 0 200 200 200 1 2 0 0 0 0 1 1 0 0 148 1 1 0 0 0 53 1 0 0 0 109 2 0 0 16 16 107 3 0 0 16 16 6 108 1 0 193 0 1 3 0 195 0 0 0 1 2 0 197 0 0 1 2 0 113 0 0 1 2 0 196 148 0 1 1 0 16 0 19 0 0 0 94 1 0 0 0 79 1 0 75 0 1 2 0 198 0 0 1 1 0 6 6 101 0 0 6 100 1 0 0 0 115 2 0 0 0 75 1 1 0 6 16 47 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 81 1 0 0 0 70 1 0 0 175 180 1 0 168 0 172 1 0 14 0 161 1 0 192 0 1 1 0 175 0 176 1 0 173 0 174 1 0 175 0 177 1 0 0 118 1 1 0 0 16 185 1 0 0 118 1 1 0 0 16 185 1 0 0 0 1 1 0 162 0 163 0 0 75 1 1 0 0 0 111 1 0 6 6 66 0 0 6 54 0 0 6 103 1 0 0 0 86 2 0 0 0 0 52 1 0 0 0 46 2 0 28 0 0 1 1 0 0 0 84 1 0 0 0 37 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 85 1 0 0 0 49 1 0 0 0 51 2 0 0 0 16 1 2 0 0 0 75 1 2 0 0 0 6 1 0 0 0 34 0 0 0 38 2 0 11 12 0 30 3 0 11 12 0 28 31 2 0 14 0 28 29 1 0 14 0 27 1 0 0 0 1 2 0 0 0 75 1 2 0 28 0 0 1 2 0 28 0 0 1 2 0 28 0 0 39 2 0 28 0 0 1 2 0 28 0 0 42 2 0 0 0 16 41 2 0 0 0 0 45 2 0 0 0 0 50 1 0 0 0 36 2 0 0 0 0 61 2 0 0 0 0 117 2 0 0 0 118 125 2 0 0 0 16 88 2 0 0 0 75 1 2 0 0 0 6 67 2 0 0 118 0 1 2 0 0 0 118 1 2 0 0 0 0 60 2 0 0 16 0 68 2 0 0 75 0 1 2 0 0 6 0 65)) NIL #1=#(#2=(|PositiveInteger|) (#<compiled-function |lookupComplete|> #1# #(~= 0 |sample| 6 |recip| 10 |one?| 15 |min| 20 |max| 26 |latex| 32 |hash| 37 |gcd| 42 |coerce| 48 ^ 53 |One| 65 >= 69 > 75 = 81 <= 87 < 93 + 99 ** 105 * 117)) (((|commutative| "*") . 0)) 0 (#(|Monoid&| |AbelianSemiGroup&| |SemiGroup&| |OrderedSet&| |SetCategory&| |BasicType&| T) #((|Monoid|) (|AbelianSemiGroup|) (|SemiGroup|) (|OrderedSet|) (|SetCategory|) (|BasicType|) (|CoercibleTo| 11)) . #(2 0 7 0 0 1 0 0 0 1 1 0 8 0 1 1 0 7 0 1 2 0 0 0 0 1 2 0 0 0 0 1 1 0 10 0 1 1 0 9 0 1 2 0 0 0 0 1 1 0 11 0 1 2 0 0 0 6 1 2 0 0 0 5 1 0 0 0 1 2 0 7 0 0 1 2 0 7 0 0 1 2 0 7 0 0 1 2 0 7 0 0 1 2 0 7 0 0 1 2 0 0 0 0 1 2 0 0 0 6 1 2 0 0 0 5 1 2 0 0 0 0 1 2 0 0 6 0 1)) (|NonNegativeInteger|) (|PositiveInteger|) (|Boolean|) (|Union| $ '"failed") (|SingleInteger|) (|String|) (|OutputForm|)) #3=#((|Reference| #2#) (#<compiled-function |lookupComplete|> #3# #4=#(~= 21 |setref| 27 |setelt| 33 |ref| 39 |latex| 44 |hash| 49 |elt| 54 |deref| 59 |coerce| 64 = 69)) NIL 1 (#(|SetCategory&| T |BasicType&| T) . #5=(#((|SetCategory|) (|Type|) (|BasicType|) (|CoercibleTo| 16)) . #(1 16 0 15 17 1 6 16 0 18 2 16 0 0 19 20 1 0 16 0 21 2 1 8 0 0 1 2 0 6 0 6 14 2 0 6 0 6 12 1 0 0 6 10 1 1 15 0 1 1 1 22 0 1 1 0 6 0 11 1 0 6 0 13 1 1 16 0 21 2 0 8 0 0 9))) NIL #1# #6=#((|Record| . #7=((|:| |value| #2#))) (#<compiled-function |lookupInTable|> #6# ((= (((|Boolean|) $ $) . 12)) (|coerce| ((#8=(|OutputForm|) $) . 14)))) NIL (|RecordCategory| . #7#) (#9=((|SetCategory&|) (|BasicType&|) NIL) #10=((|SetCategory|) (|BasicType|) (|CoercibleTo| (|OutputForm|)))) (#1#) (#<compiled-function |RecordEqual|> . #6#) (#<compiled-function |RecordPrint|> . #6#) (#<compiled-function |Undef|> . #6#) (NIL)) #11=(|Boolean|) (#<compiled-function |REF;=;2$B;1|> . #3#) #12=(#<compiled-function |REF;ref;S$;2|> . #3#) (#<compiled-function |REF;elt;$S;3|> . #3#) (#<compiled-function |REF;setelt;$2S;4|> . #3#) (#<compiled-function |REF;deref;$S;5|> . #3#) (#<compiled-function |REF;setref;$2S;6|> . #3#) #13=(|String|) #14=(|OutputForm|) (|newGoGet| #3# . #15=(0 . |message|)) (|newGoGet| #3# . #16=(5 . |coerce|)) #17=(|List| $) (|newGoGet| #3# . #18=(10 . |prefix|)) (#<compiled-function |REF;coerce;$Of;7|> . #3#) #19=(|SingleInteger|)) #12# (68) #20=#((|Record| . #21=((|:| |mantissa| #22=(|Integer|)) (|:| |exponent| #22#))) (#<compiled-function |lookupInTable|> #20# ((= (((|Boolean|) $ $) . 12)) (|coerce| ((#8# $) . 14)))) NIL (|RecordCategory| . #21#) (#9# #10#) (#23=#(#22# (#<compiled-function |lookupComplete|> #23# #(~= 131 |zero?| 137 |unitNormal| 142 |unitCanonical| 147 |unit?| 152 |symmetricRemainder| 157 |subtractIfCan| 163 |submod| 169 |squareFreePart| 176 |squareFree| 181 |sizeLess?| 186 |sign| 192 |shift| 197 |sample| 203 |retractIfCan| 207 |retract| 212 |rem| 217 |reducedSystem| 223 |recip| 234 |rationalIfCan| 239 |rational?| 244 |rational| 249 |random| 254 |quo| 263 |principalIdeal| 269 |prime?| 274 |powmod| 279 |positiveRemainder| 286 |positive?| 292 |permutation| 297 |patternMatch| 303 |one?| 310 |odd?| 315 |nextItem| 320 |negative?| 325 |multiEuclidean| 330 |mulmod| 336 |min| 343 |max| 349 |mask| 355 |length| 360 |lcm| 365 |latex| 376 |invmod| 381 |init| 387 |inc| 391 |hash| 396 |gcdPolynomial| 406 |gcd| 412 |factorial| 423 |factor| 428 |extendedEuclidean| 433 |exquo| 446 |expressIdealMember| 452 |even?| 458 |euclideanSize| 463 |divide| 468 |differentiate| 474 |dec| 485 |copy| 490 |convert| 495 |coerce| 525 |characteristic| 545 |bit?| 549 |binomial| 555 |base| 561 |associates?| 565 |addmod| 571 |abs| 578 ^ 583 |Zero| 595 |One| 599 |OMwrite| 603 D 627 >= 638 > 644 = 650 <= 656 < 662 - 668 + 679 ** 685 * 697)) ((|infinite| . 0) (|noetherian| . 0) (|canonicalsClosed| . 0) (|canonical| . 0) (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0) (|noZeroDivisors| . 0) ((|commutative| "*") . 0) (|rightUnitary| . 0) (|leftUnitary| . 0) (|unitsKnown| . 0)) 0 (#(|IntegerNumberSystem&| |EuclideanDomain&| |UniqueFactorizationDomain&| T T |GcdDomain&| |IntegralDomain&| |Algebra&| T T |DifferentialRing&| |OrderedRing&| T T |Module&| T T |Ring&| T T T T T |AbelianGroup&| T T |AbelianMonoid&| |Monoid&| T T |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| T |SetCategory&| T T T T T T T |RetractableTo&| T |BasicType&| T) #((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) (|PrincipalIdealDomain|) (|OrderedIntegralDomain|) (|GcdDomain|) (|IntegralDomain|) (|Algebra| $$) (|CharacteristicZero|) (|LinearlyExplicitRingOver| 11) (|DifferentialRing|) (|OrderedRing|) (|CommutativeRing|) (|EntireRing|) (|Module| $$) (|OrderedAbelianGroup|) (|BiModule| $$ $$) (|Ring|) (|OrderedCancellationAbelianMonoid|) (|LeftModule| $$) (|Rng|) (|RightModule| $$) (|OrderedAbelianMonoid|) (|AbelianGroup|) (|OrderedAbelianSemiGroup|) (|CancellationAbelianMonoid|) (|AbelianMonoid|) (|Monoid|) (|StepThrough|) (|PatternMatchable| 11) (|OrderedSet|) (|AbelianSemiGroup|) (|SemiGroup|) (|RealConstant|) (|SetCategory|) (|OpenMath|) (|ConvertibleTo| 9) (|ConvertibleTo| 44) (|ConvertibleTo| 47) (|CombinatorialFunctionCategory|) (|ConvertibleTo| 121) (|ConvertibleTo| 49) (|RetractableTo| 11) (|ConvertibleTo| 11) (|BasicType|) (|CoercibleTo| 35)) . #(1 7 6 0 8 3 7 6 0 9 9 10 2 7 6 0 11 12 1 7 6 0 13 0 14 0 15 2 7 0 9 14 16 1 7 6 0 17 1 7 6 0 18 1 7 6 0 19 1 35 0 11 36 1 44 0 11 45 1 49 0 11 50 2 91 88 89 90 92 1 95 93 94 96 1 94 0 0 97 1 94 2 0 98 1 99 93 94 100 1 94 0 2 101 1 0 102 0 103 2 106 93 104 105 107 2 108 93 93 93 109 1 99 93 94 110 1 94 21 0 111 1 94 0 0 112 1 114 94 113 115 2 0 21 0 0 1 1 0 21 0 25 1 0 85 0 86 1 0 0 0 87 1 0 21 0 1 2 0 0 0 0 1 2 0 81 0 0 1 3 0 0 0 0 0 42 1 0 0 0 1 1 0 102 0 1 2 0 21 0 0 1 1 0 11 0 1 2 0 0 0 0 80 0 0 0 1 1 0 122 0 1 1 0 11 0 1 2 0 0 0 0 79 2 0 58 56 59 60 1 0 55 56 57 1 0 81 0 83 1 0 118 0 1 1 0 21 0 1 1 0 119 0 1 1 0 0 0 63 0 0 0 62 2 0 0 0 0 78 1 0 125 124 1 1 0 21 0 1 3 0 0 0 0 0 1 2 0 0 0 0 54 1 0 21 0 1 2 0 0 0 0 1 3 0 120 0 121 120 1 1 0 21 0 26 1 0 21 0 73 1 0 81 0 1 1 0 21 0 34 2 0 123 124 0 1 3 0 0 0 0 0 43 2 0 0 0 0 75 2 0 0 0 0 74 1 0 0 0 1 1 0 0 0 40 1 0 0 124 1 2 0 0 0 0 1 1 0 9 0 53 2 0 0 0 0 1 0 0 0 1 1 0 0 0 31 1 0 0 0 33 1 0 130 0 1 2 0 116 116 116 117 2 0 0 0 0 84 1 0 0 124 1 1 0 0 0 1 1 0 102 0 103 3 0 127 0 0 0 1 2 0 128 0 0 1 2 0 81 0 0 82 2 0 123 124 0 1 1 0 21 0 1 1 0 71 0 1 2 0 76 0 0 77 1 0 0 0 1 2 0 0 0 71 1 1 0 0 0 32 1 0 0 0 30 1 0 9 0 52 1 0 47 0 48 1 0 44 0 46 1 0 49 0 51 1 0 121 0 1 1 0 11 0 39 1 0 0 11 38 1 0 0 11 38 1 0 0 0 1 1 0 35 0 37 0 0 71 1 2 0 21 0 0 1 2 0 0 0 0 1 0 0 0 29 2 0 21 0 0 1 3 0 0 0 0 0 41 1 0 0 0 61 2 0 0 0 71 1 2 0 0 0 129 1 0 0 0 27 0 0 0 28 3 0 6 7 0 21 24 2 0 9 0 21 22 2 0 6 7 0 23 1 0 9 0 20 1 0 0 0 1 2 0 0 0 71 1 2 0 21 0 0 1 2 0 21 0 0 1 2 0 21 0 0 64 2 0 21 0 0 1 2 0 21 0 0 65 2 0 0 0 0 68 1 0 0 0 66 2 0 0 0 0 67 2 0 0 0 71 72 2 0 0 0 129 1 2 0 0 0 0 69 2 0 0 11 0 70 2 0 0 71 0 1 2 0 0 129 0 1)) NIL (|Void|) (|OpenMathDevice|) (|newGoGet| #23# 0 . |OMputApp|) (|String|) (|newGoGet| #23# 5 . |OMputSymbol|) (|Integer|) (|newGoGet| #23# 12 . |OMputInteger|) (|newGoGet| #23# 18 . |OMputEndApp|) (|OpenMathEncoding|) (|newGoGet| #23# 23 . |OMencodingXML|) (|newGoGet| #23# 27 . |OMopenString|) (|newGoGet| #23# 33 . |OMputObject|) (|newGoGet| #23# 38 . |OMputEndObject|) (|newGoGet| #23# 43 . |OMclose|) (#<compiled-function |INT;OMwrite;$S;2|> . #23#) (|Boolean|) (#<compiled-function |INT;OMwrite;$BS;3|> . #23#) (#<compiled-function |INT;OMwrite;Omd$V;4|> . #23#) (#<compiled-function |INT;OMwrite;Omd$BV;5|> . #23#) (#<compiled-function |INT;zero?;$B;6|> . #23#) (#<compiled-function |INT;one?;$B;7|> . #23#) (|makeSpadConstant| #<compiled-function |INT;Zero;$;8|> #23# 27) (|makeSpadConstant| #<compiled-function |INT;One;$;9|> #23# 28) (#<compiled-function |INT;base;$;10|> . #23#) (#<compiled-function |INT;copy;2$;11|> . #23#) (#<compiled-function |INT;inc;2$;12|> . #23#) (#<compiled-function |INT;dec;2$;13|> . #23#) (#<compiled-function |INT;hash;2$;14|> . #23#) (#<compiled-function |INT;negative?;$B;15|> . #23#) (|OutputForm|) (|newGoGet| #23# 48 . |outputForm|) (#<compiled-function |INT;coerce;$Of;16|> . #23#) (#<compiled-function |INT;coerce;I$;17|> . #23#) (#<compiled-function |INT;convert;$I;18|> . #23#) (#<compiled-function |INT;length;2$;19|> . #23#) (#<compiled-function |INT;addmod;4$;20|> . #23#) (#<compiled-function |INT;submod;4$;21|> . #23#) (#<compiled-function |INT;mulmod;4$;22|> . #23#) (|Float|) (|newGoGet| #23# 53 . |coerce|) (#<compiled-function |INT;convert;$F;23|> . #23#) (|DoubleFloat|) (#<compiled-function |INT;convert;$Df;24|> . #23#) (|InputForm|) (|newGoGet| #23# 58 . |convert|) (#<compiled-function |INT;convert;$If;25|> . #23#) (#<compiled-function |INT;convert;$S;26|> . #23#) (#<compiled-function |INT;latex;$S;27|> . #23#) (#<compiled-function |INT;positiveRemainder;3$;28|> . #23#) (|Matrix| 11) (|Matrix| $) (#<compiled-function |INT;reducedSystem;MM;29|> . #23#) (|Record| (|:| |mat| 55) (|:| |vec| (|Vector| 11))) (|Vector| $) (#<compiled-function |INT;reducedSystem;MVR;30|> . #23#) (#<compiled-function |INT;abs;2$;31|> . #23#) (#<compiled-function |INT;random;$;32|> . #23#) (#<compiled-function |INT;random;2$;33|> . #23#) (#<compiled-function |INT;=;2$B;34|> . #23#) (#<compiled-function |INT;<;2$B;35|> . #23#) (#<compiled-function |INT;-;2$;36|> . #23#) (#<compiled-function |INT;+;3$;37|> . #23#) (#<compiled-function |INT;-;3$;38|> . #23#) #24=(#<compiled-function |INT;*;I2$;40|> . #23#) #24# (|NonNegativeInteger|) (#<compiled-function |INT;**;$Nni$;41|> . #23#) (#<compiled-function |INT;odd?;$B;42|> . #23#) (#<compiled-function |INT;max;3$;43|> . #23#) (#<compiled-function |INT;min;3$;44|> . #23#) (|Record| (|:| |quotient| $) (|:| |remainder| $)) (#<compiled-function |INT;divide;2$R;45|> . #23#) (#<compiled-function |INT;quo;3$;46|> . #23#) (#<compiled-function |INT;rem;3$;47|> . #23#) (#<compiled-function |INT;shift;3$;48|> . #23#) (|Union| $ '"failed") (#<compiled-function |INT;exquo;2$U;49|> . #23#) (#<compiled-function |INT;recip;$U;50|> . #23#) (#<compiled-function |INT;gcd;3$;51|> . #23#) (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $)) (#<compiled-function |INT;unitNormal;$R;52|> . #23#) (#<compiled-function |INT;unitCanonical;2$;53|> . #23#) (|Union| 89 '"failed") (|List| 90) (|SparseUnivariatePolynomial| 11) (|IntegerSolveLinearPolynomialEquation|) (|newGoGet| #23# 63 . |solveLinearPolynomialEquation|) (|Factored| 94) (|SparseUnivariatePolynomial| $$) (|UnivariatePolynomialSquareFree| $$ 94) (|newGoGet| #23# 69 . |squareFree|) (|newGoGet| #23# 74 . |primitivePart|) (|newGoGet| #23# 79 . |leadingCoefficient|) (|GaloisGroupFactorizer| 94) (|newGoGet| #23# 84 . |factor|) (|newGoGet| #23# 89 . |coerce|) (|Factored| $) (|newGoGet| #23# 94 . |factor|) (|Mapping| 94 $$) (|Factored| $$) (|FactoredFunctions2| $$ 94) (|newGoGet| #23# 99 . |map|) (|FactoredFunctionUtilities| 94) (|newGoGet| #23# 105 . |mergeFactors|) (|newGoGet| #23# 111 . |factorSquareFree|) (|newGoGet| #23# 116 . |zero?|) (|newGoGet| #23# 121 . |unitCanonical|) (|List| 94) (|HeuGcd| 94) (|newGoGet| #23# 126 . |gcd|) (|SparseUnivariatePolynomial| $) (#<compiled-function |INT;gcdPolynomial;3Sup;58|> . #23#) (|Union| 119 '"failed") (|Fraction| 11) (|PatternMatchResult| 11 $) (|Pattern| 11) (|Union| 11 '"failed") (|Union| 124 '"failed") (|List| $) (|Record| (|:| |coef| 124) (|:| |generator| $)) (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 126 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) (|PositiveInteger|) (|SingleInteger|)) #23#) (#<compiled-function |RecordEqual|> . #20#) (#<compiled-function |RecordPrint|> . #20#) (#<compiled-function |Undef|> . #20#) (NIL)) (|Void|) (|OpenMathDevice|) (|newGoGet| #0# 5 . |OMputApp|) #25=#(#26=(|String|) (#<compiled-function |lookupComplete|> #25# #(~= 31 |upperCase!| 37 |upperCase| 42 |trim| 47 |swap!| 59 |suffix?| 66 |substring?| 72 |string| 79 |split| 84 |sorted?| 96 |sort!| 107 |sort| 118 |size?| 129 |setelt| 135 |select| 149 |sample| 155 |rightTrim| 159 |reverse!| 171 |reverse| 176 |replace| 181 |removeDuplicates| 188 |remove| 193 |reduce| 205 |qsetelt!| 226 |qelt| 233 |prefix?| 239 |position| 245 |parts| 278 |new| 283 |more?| 289 |minIndex| 295 |min| 300 |merge| 306 |members| 319 |member?| 324 |maxIndex| 330 |max| 335 |match?| 341 |match| 348 |map!| 355 |map| 361 |lowerCase!| 374 |lowerCase| 379 |less?| 384 |leftTrim| 390 |latex| 402 |insert| 407 |indices| 421 |index?| 426 |hash| 432 |first| 437 |find| 442 |fill!| 448 |every?| 454 |eval| 460 |eq?| 486 |entry?| 492 |entries| 498 |empty?| 503 |empty| 508 |elt| 512 |delete| 537 |count| 549 |copyInto!| 561 |copy| 568 |convert| 573 |construct| 578 |concat| 583 |coerce| 606 |any?| 616 |OMwrite| 622 >= 646 > 652 = 658 <= 664 < 670 |#| 676)) ((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) 78 (#(T |StringAggregate&| #27=#((|OneDimensionalArrayAggregate&| #26# #28=(|Character|)) (#<compiled-function |lookupComplete|> #27# #29=#(|sorted?| 158 |sort!| 164 |setelt| 170 |reverse!| 177 |reduce| 182 |position| 203 |parts| 216 |merge| 221 |map!| 228 |map| 234 |insert| 241 |find| 248 |every?| 254 |elt| 260 |delete| 266 |count| 278 |copyInto!| 284 |copy| 291 |construct| 296 |concat| 301 |coerce| 312 |any?| 317 = 323 < 329)) NIL 0 (#() . #30=(#() . #(1 6 8 0 9 1 6 8 0 10 2 6 7 0 8 11 2 15 6 14 6 16 3 6 7 0 8 7 27 1 30 8 0 31 1 30 18 0 32 1 30 8 0 33 1 6 18 0 35 2 7 18 0 0 39 1 18 0 0 40 4 0 7 36 0 7 7 41 0 6 0 42 2 6 0 25 7 43 1 6 7 0 44 1 6 25 0 46 2 6 7 0 8 47 1 6 0 0 54 3 6 57 0 8 8 58 3 6 0 0 0 8 60 1 7 65 0 66 1 65 0 61 67 1 65 0 0 68 1 0 65 0 69 2 0 18 0 0 70 3 0 8 7 0 8 71 2 7 18 0 0 72 2 0 18 0 0 73 2 0 18 14 0 63 2 0 0 14 0 17 3 0 7 0 30 7 34 1 0 0 0 59 2 0 7 36 0 37 4 0 7 36 0 7 7 41 3 0 7 36 0 7 38 3 0 8 7 0 8 71 2 0 8 19 0 22 1 0 12 0 13 3 0 0 14 0 0 48 2 0 0 28 0 29 3 0 0 36 0 0 45 3 0 0 0 0 8 50 2 0 23 19 0 24 2 0 18 19 0 21 2 0 0 0 30 49 2 0 0 0 30 55 2 0 0 0 8 56 2 0 25 19 0 26 3 0 0 0 0 8 52 1 0 0 0 51 1 0 0 12 53 1 0 0 61 62 2 0 0 0 0 64 1 0 65 0 69 2 0 18 19 0 20 2 0 18 0 0 70 2 0 18 0 0 73))) NIL #25# #31=#(#28# (#<compiled-function |lookupComplete|> #31# #(~= 51 |upperCase?| 57 |upperCase| 62 |space| 67 |size| 71 |random| 75 |quote| 79 |ord| 83 |min| 88 |max| 94 |lowerCase?| 100 |lowerCase| 105 |lookup| 110 |latex| 115 |index| 120 |hexDigit?| 125 |hash| 130 |escape| 135 |digit?| 139 |coerce| 144 |char| 149 |alphanumeric?| 159 |alphabetic?| 164 >= 169 > 175 = 181 <= 187 < 193)) NIL 0 (#(T |OrderedSet&| T |SetCategory&| |BasicType&| T) #((|OrderedFinite|) (|OrderedSet|) (|Finite|) (|SetCategory|) (|BasicType|) (|CoercibleTo| 28)) . #(1 8 0 7 9 1 6 0 17 23 0 30 0 31 2 30 12 32 0 33 0 30 0 35 0 30 0 37 0 30 0 39 0 30 0 41 0 30 0 43 1 45 17 0 47 2 45 32 0 17 48 2 0 12 0 0 1 1 0 12 0 38 1 0 0 0 50 0 0 0 25 0 0 15 16 0 0 0 24 0 0 0 26 1 0 17 0 21 2 0 0 0 0 1 2 0 0 0 0 1 1 0 12 0 40 1 0 0 0 51 1 0 19 0 22 1 0 45 0 46 1 0 0 19 20 1 0 12 0 36 1 0 52 0 1 0 0 0 27 1 0 12 0 34 1 0 28 0 29 1 0 0 45 49 1 0 0 17 18 1 0 12 0 44 1 0 12 0 42 2 0 12 0 0 1 2 0 12 0 0 1 2 0 12 0 0 13 2 0 12 0 0 1 2 0 12 0 0 14)) NIL #32=#((|SingleInteger|) (#<compiled-function |lookupComplete|> #32# #(~= 58 ~ 64 |zero?| 69 |xor| 74 |unitNormal| 80 |unitCanonical| 85 |unit?| 90 |symmetricRemainder| 95 |subtractIfCan| 101 |submod| 107 |squareFreePart| 114 |squareFree| 119 |sizeLess?| 124 |sign| 130 |shift| 135 |sample| 141 |retractIfCan| 145 |retract| 150 |rem| 155 |reducedSystem| 161 |recip| 172 |rationalIfCan| 177 |rational?| 182 |rational| 187 |random| 192 |quo| 201 |principalIdeal| 207 |prime?| 212 |powmod| 217 |positiveRemainder| 224 |positive?| 230 |permutation| 235 |patternMatch| 241 |one?| 248 |odd?| 253 |not| 258 |nextItem| 263 |negative?| 268 |multiEuclidean| 273 |mulmod| 279 |min| 286 |max| 296 |mask| 306 |length| 311 |lcm| 316 |latex| 327 |invmod| 332 |init| 338 |inc| 342 |hash| 347 |gcdPolynomial| 357 |gcd| 363 |factorial| 374 |factor| 379 |extendedEuclidean| 384 |exquo| 397 |expressIdealMember| 403 |even?| 409 |euclideanSize| 414 |divide| 419 |differentiate| 425 |dec| 436 |copy| 441 |convert| 446 |coerce| 471 |characteristic| 491 |bit?| 495 |binomial| 501 |base| 507 |associates?| 511 |addmod| 517 |abs| 524 ^ 529 |\\/| 541 |Zero| 547 |Or| 551 |One| 557 |OMwrite| 561 |Not| 585 D 590 |And| 601 >= 607 > 613 = 619 <= 625 < 631 |/\\| 637 - 643 + 654 ** 660 * 672)) ((|noetherian| . 0) (|canonicalsClosed| . 0) (|canonical| . 0) (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0) (|noZeroDivisors| . 0) ((|commutative| "*") . 0) (|rightUnitary| . 0) (|leftUnitary| . 0) (|unitsKnown| . 0)) 0 (#(|IntegerNumberSystem&| |EuclideanDomain&| |UniqueFactorizationDomain&| T T |GcdDomain&| |IntegralDomain&| |Algebra&| T T |DifferentialRing&| |OrderedRing&| T T |Module&| T T |Ring&| T T T T T |AbelianGroup&| T T |AbelianMonoid&| |Monoid&| T T |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| |Logic&| T |SetCategory&| T T T T T T |RetractableTo&| T |BasicType&| T) #((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) (|PrincipalIdealDomain|) (|OrderedIntegralDomain|) (|GcdDomain|) (|IntegralDomain|) (|Algebra| $$) (|CharacteristicZero|) (|LinearlyExplicitRingOver| 12) (|DifferentialRing|) (|OrderedRing|) (|CommutativeRing|) (|EntireRing|) (|Module| $$) (|OrderedAbelianGroup|) (|BiModule| $$ $$) (|Ring|) (|OrderedCancellationAbelianMonoid|) (|LeftModule| $$) (|Rng|) (|RightModule| $$) (|OrderedAbelianMonoid|) (|AbelianGroup|) (|OrderedAbelianSemiGroup|) (|CancellationAbelianMonoid|) (|AbelianMonoid|) (|Monoid|) (|StepThrough|) (|PatternMatchable| 12) (|OrderedSet|) (|AbelianSemiGroup|) (|SemiGroup|) (|Logic|) (|RealConstant|) (|SetCategory|) (|OpenMath|) (|ConvertibleTo| 88) (|ConvertibleTo| 89) (|CombinatorialFunctionCategory|) (|ConvertibleTo| 90) (|ConvertibleTo| 92) (|RetractableTo| 12) (|ConvertibleTo| 12) (|BasicType|) (|CoercibleTo| 29)) . #(1 8 7 0 9 3 8 7 0 10 10 11 2 8 7 0 12 13 1 8 7 0 14 0 15 0 16 2 8 0 10 15 17 1 8 7 0 18 1 8 7 0 19 1 8 7 0 20 1 12 29 0 30 1 0 0 12 33 2 0 22 0 0 1 1 0 0 0 41 1 0 22 0 65 2 0 0 0 0 48 1 0 83 0 84 1 0 0 0 1 1 0 22 0 1 2 0 0 0 0 1 2 0 87 0 0 1 3 0 0 0 0 0 74 1 0 0 0 1 1 0 100 0 1 2 0 22 0 0 1 1 0 12 0 1 2 0 0 0 0 71 0 0 0 1 1 0 93 0 1 1 0 12 0 1 2 0 0 0 0 59 1 0 26 27 28 2 0 76 27 77 78 1 0 87 0 1 1 0 85 0 1 1 0 22 0 1 1 0 86 0 1 1 0 0 0 82 0 0 0 81 2 0 0 0 0 58 1 0 94 95 1 1 0 22 0 1 3 0 0 0 0 0 1 2 0 0 0 0 79 1 0 22 0 1 2 0 0 0 0 1 3 0 91 0 90 91 1 1 0 22 0 66 1 0 22 0 64 1 0 0 0 42 1 0 87 0 1 1 0 22 0 75 2 0 96 95 0 1 3 0 0 0 0 0 72 0 0 0 39 2 0 0 0 0 68 0 0 0 38 2 0 0 0 0 67 1 0 0 0 1 1 0 0 0 70 1 0 0 95 1 2 0 0 0 0 1 1 0 10 0 1 2 0 0 0 0 1 0 0 0 1 1 0 0 0 50 1 0 0 0 69 1 0 103 0 1 2 0 101 101 101 1 1 0 0 95 1 2 0 0 0 0 62 1 0 0 0 1 1 0 100 0 1 2 0 97 0 0 1 3 0 99 0 0 0 1 2 0 87 0 0 1 2 0 96 95 0 1 1 0 22 0 1 1 0 56 0 1 2 0 60 0 0 61 1 0 0 0 1 2 0 0 0 56 1 1 0 0 0 51 1 0 0 0 1 1 0 88 0 1 1 0 89 0 1 1 0 90 0 1 1 0 92 0 1 1 0 12 0 32 1 0 0 12 80 1 0 0 0 1 1 0 0 12 80 1 0 29 0 31 0 0 56 1 2 0 22 0 0 1 2 0 0 0 0 1 0 0 0 37 2 0 22 0 0 1 3 0 0 0 0 0 73 1 0 0 0 63 2 0 0 0 56 1 2 0 0 0 102 1 2 0 0 0 0 44 0 0 0 35 2 0 0 0 0 47 0 0 0 36 3 0 7 8 0 22 25 2 0 10 0 22 23 2 0 7 8 0 24 1 0 10 0 21 1 0 0 0 45 1 0 0 0 1 2 0 0 0 56 1 2 0 0 0 0 46 2 0 22 0 0 1 2 0 22 0 0 1 2 0 22 0 0 40 2 0 22 0 0 1 2 0 22 0 0 49 2 0 0 0 0 43 1 0 0 0 52 2 0 0 0 0 54 2 0 0 0 0 53 2 0 0 0 56 57 2 0 0 0 102 1 2 0 0 0 0 55 2 0 0 12 0 34 2 0 0 56 0 1 2 0 0 102 0 1)) NIL 1 (|Void|) (|OpenMathDevice|) (|newGoGet| #32# 0 . |OMputApp|) (|String|) (|newGoGet| #32# 5 . |OMputSymbol|) (|Integer|) (|newGoGet| #32# 12 . |OMputInteger|) (|newGoGet| #32# 18 . |OMputEndApp|) (|OpenMathEncoding|) (|newGoGet| #32# 23 . |OMencodingXML|) (|newGoGet| #32# 27 . |OMopenString|) (|newGoGet| #32# 33 . |OMputObject|) (|newGoGet| #32# 38 . |OMputEndObject|) (|newGoGet| #32# 43 . |OMclose|) (#<compiled-function |SINT;OMwrite;$S;2|> . #32#) (|Boolean|) (#<compiled-function |SINT;OMwrite;$BS;3|> . #32#) (#<compiled-function |SINT;OMwrite;Omd$V;4|> . #32#) (#<compiled-function |SINT;OMwrite;Omd$BV;5|> . #32#) (|Matrix| 12) (|Matrix| $) (#<compiled-function |SINT;reducedSystem;MM;6|> . #32#) (|OutputForm|) (|newGoGet| #32# 48 . |coerce|) (#<compiled-function |SINT;coerce;$Of;7|> . #32#) (#<compiled-function |SINT;convert;$I;8|> . #32#) (|newGoGet| #32# 53 . |coerce|) (#<compiled-function |SINT;*;I2$;9|> . #32#) (|makeSpadConstant| #<compiled-function |SINT;Zero;$;10|> #32# 35) (|makeSpadConstant| #<compiled-function |SINT;One;$;11|> #32# 36) (#<compiled-function |SINT;base;$;12|> . #32#) (#<compiled-function |SINT;max;$;13|> . #32#) (#<compiled-function |SINT;min;$;14|> . #32#) (#<compiled-function |SINT;=;2$B;15|> . #32#) (#<compiled-function |SINT;~;2$;16|> . #32#) (#<compiled-function |SINT;not;2$;17|> . #32#) (#<compiled-function |SINT;/\\;3$;18|> . #32#) (#<compiled-function |SINT;\\/;3$;19|> . #32#) (#<compiled-function |SINT;Not;2$;20|> . #32#) (#<compiled-function |SINT;And;3$;21|> . #32#) (#<compiled-function |SINT;Or;3$;22|> . #32#) (#<compiled-function |SINT;xor;3$;23|> . #32#) (#<compiled-function |SINT;<;2$B;24|> . #32#) (#<compiled-function |SINT;inc;2$;25|> . #32#) (#<compiled-function |SINT;dec;2$;26|> . #32#) (#<compiled-function |SINT;-;2$;27|> . #32#) (#<compiled-function |SINT;+;3$;28|> . #32#) (#<compiled-function |SINT;-;3$;29|> . #32#) (#<compiled-function |SINT;*;3$;30|> . #32#) (|NonNegativeInteger|) (#<compiled-function |SINT;**;$Nni$;31|> . #32#) (#<compiled-function |SINT;quo;3$;32|> . #32#) (#<compiled-function |SINT;rem;3$;33|> . #32#) (|Record| (|:| |quotient| $) (|:| |remainder| $)) (#<compiled-function |SINT;divide;2$R;34|> . #32#) (#<compiled-function |SINT;gcd;3$;35|> . #32#) (#<compiled-function |SINT;abs;2$;36|> . #32#) (#<compiled-function |SINT;odd?;$B;37|> . #32#) (#<compiled-function |SINT;zero?;$B;38|> . #32#) (#<compiled-function |SINT;one?;$B;39|> . #32#) (#<compiled-function |SINT;max;3$;40|> . #32#) (#<compiled-function |SINT;min;3$;41|> . #32#) (#<compiled-function |SINT;hash;2$;42|> . #32#) (#<compiled-function |SINT;length;2$;43|> . #32#) (#<compiled-function |SINT;shift;3$;44|> . #32#) (#<compiled-function |SINT;mulmod;4$;45|> . #32#) (#<compiled-function |SINT;addmod;4$;46|> . #32#) (#<compiled-function |SINT;submod;4$;47|> . #32#) (#<compiled-function |SINT;negative?;$B;48|> . #32#) (|Record| (|:| |mat| 26) (|:| |vec| (|Vector| 12))) (|Vector| $) (#<compiled-function |SINT;reducedSystem;MVR;49|> . #32#) (#<compiled-function |SINT;positiveRemainder;3$;50|> . #32#) (#<compiled-function |SINT;coerce;I$;51|> . #32#) (#<compiled-function |SINT;random;$;52|> . #32#) (#<compiled-function |SINT;random;2$;53|> . #32#) (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $)) (#<compiled-function |SINT;unitNormal;$R;54|> . #32#) (|Union| 86 '"failed") (|Fraction| 12) (|Union| $ '"failed") (|Float|) (|DoubleFloat|) (|Pattern| 12) (|PatternMatchResult| 12 $) (|InputForm|) (|Union| 12 '"failed") (|Record| (|:| |coef| 95) (|:| |generator| $)) (|List| $) (|Union| 95 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 98 '"failed") (|Factored| $) (|SparseUnivariatePolynomial| $) (|PositiveInteger|) (|SingleInteger|)) (|List| 28) #33=#(#34=(|PrimitiveArray| #35=(|OutputForm|)) (#<compiled-function |lookupComplete|> #33# #(~= 0 |swap!| 6 |sorted?| 13 |sort!| 24 |sort| 35 |size?| 46 |setelt| 52 |select| 66 |sample| 72 |reverse!| 76 |reverse| 81 |removeDuplicates| 86 |remove| 91 |reduce| 103 |qsetelt!| 124 |qelt| 131 |position| 137 |parts| 156 |new| 161 |more?| 167 |minIndex| 173 |min| 178 |merge| 184 |members| 197 |member?| 202 |maxIndex| 208 |max| 213 |map!| 219 |map| 225 |less?| 238 |latex| 244 |insert| 249 |indices| 263 |index?| 268 |hash| 274 |first| 279 |find| 284 |fill!| 290 |every?| 296 |eval| 302 |eq?| 328 |entry?| 334 |entries| 340 |empty?| 345 |empty| 350 |elt| 354 |delete| 373 |count| 385 |copyInto!| 397 |copy| 404 |convert| 409 |construct| 414 |concat| 419 |coerce| 442 |any?| 447 >= 453 > 459 = 465 <= 471 < 477 |#| 483)) ((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) 412 (#(#36=#((|OneDimensionalArrayAggregate&| #34# #35#) (#<compiled-function |lookupComplete|> #36# #29#) NIL 0 (#() . #30#) NIL #33# #37=#(#35# (#<compiled-function |lookupComplete|> #37# #(~= 78 |zag| 84 |width| 90 |vspace| 99 |vconcat| 104 |supersub| 115 |superHeight| 121 |super| 126 |sum| 132 |subHeight| 150 |sub| 155 |string| 161 |slash| 166 |semicolonSeparate| 172 |scripts| 177 |rspace| 183 |root| 189 |right| 200 |rem| 211 |rarrow| 217 |quote| 223 |quo| 228 |prod| 234 |print| 252 |prime| 257 |presuper| 268 |presub| 274 |prefix| 280 |postfix| 286 |pile| 292 |paren| 297 |overlabel| 307 |overbar| 313 |over| 318 |outputForm| 324 |or| 344 |not| 350 |messagePrint| 355 |message| 360 |matrix| 365 |left| 370 |latex| 381 |label| 386 |int| 392 |infix?| 410 |infix| 415 |hspace| 428 |height| 433 |hconcat| 442 |hash| 453 |exquo| 458 |empty| 464 |elt| 468 |dot| 474 |div| 485 |differentiate| 491 |commaSeparate| 497 |coerce| 502 |center| 507 |bracket| 518 |brace| 528 |box| 538 |blankSeparate| 543 |binomial| 548 |assign| 554 |and| 560 ^= 566 SEGMENT 572 >= 583 > 589 = 595 <= 607 < 613 / 619 - 625 + 636 ** 642 * 648)) NIL 0 (#(|SetCategory&| |BasicType&| T) #((|SetCategory|) (|BasicType|) (|CoercibleTo| 17)) . #(1 10 9 0 11 0 25 0 26 2 10 0 0 25 27 2 10 0 25 0 28 1 6 0 0 53 2 6 0 0 0 54 1 6 9 0 66 1 6 0 0 67 1 6 2 0 68 1 6 70 0 71 2 72 0 0 0 73 1 72 0 0 101 1 25 0 10 110 1 124 10 123 125 1 10 0 0 126 2 0 9 0 0 1 2 0 0 0 0 115 0 0 19 35 1 0 19 0 30 1 0 0 19 44 1 0 0 49 76 2 0 0 0 0 45 2 0 0 0 49 74 1 0 19 0 33 2 0 0 0 0 63 2 0 0 0 0 129 3 0 0 0 0 0 130 1 0 0 0 128 1 0 19 0 32 2 0 0 0 0 62 1 0 0 0 105 2 0 0 0 0 119 1 0 0 49 52 2 0 0 0 49 69 2 0 0 19 19 46 1 0 0 0 116 2 0 0 0 0 117 1 0 0 0 43 2 0 0 0 19 40 2 0 0 0 0 89 2 0 0 0 0 122 1 0 0 0 106 2 0 0 0 0 90 3 0 0 0 0 0 133 1 0 0 0 131 2 0 0 0 0 132 1 0 7 0 8 2 0 0 0 70 112 1 0 0 0 109 2 0 0 0 0 65 2 0 0 0 0 64 2 0 0 0 49 100 2 0 0 0 0 104 1 0 0 49 50 1 0 0 49 61 1 0 0 0 60 2 0 0 0 0 113 1 0 0 0 107 2 0 0 0 0 118 1 0 0 10 29 1 0 0 23 24 1 0 0 21 22 1 0 0 19 20 2 0 0 0 0 93 1 0 0 0 94 1 0 7 10 14 1 0 0 10 13 1 0 0 47 48 1 0 0 0 42 2 0 0 0 19 39 1 0 10 0 1 2 0 0 0 0 121 3 0 0 0 0 0 136 2 0 0 0 0 135 1 0 0 0 134 1 0 9 0 98 2 0 0 0 49 102 3 0 0 0 0 0 103 1 0 0 19 36 0 0 19 34 1 0 19 0 31 1 0 0 49 75 2 0 0 0 0 37 1 0 137 0 1 2 0 0 0 0 91 0 0 0 12 2 0 0 0 49 99 2 0 0 0 70 111 1 0 0 0 108 2 0 0 0 0 88 2 0 0 0 70 127 1 0 0 49 51 1 0 17 0 18 1 0 0 0 41 2 0 0 0 19 38 1 0 0 0 58 1 0 0 49 59 1 0 0 49 57 1 0 0 0 56 1 0 0 0 114 1 0 0 49 55 2 0 0 0 0 97 2 0 0 0 0 120 2 0 0 0 0 92 2 0 0 0 0 77 1 0 0 0 96 2 0 0 0 0 95 2 0 0 0 0 81 2 0 0 0 0 79 2 0 0 0 0 16 2 0 9 0 0 15 2 0 0 0 0 80 2 0 0 0 0 78 2 0 0 0 0 86 1 0 0 0 84 2 0 0 0 0 83 2 0 0 0 0 82 2 0 0 0 0 87 2 0 0 0 0 85)) NIL #38=#((|List| #35#) (#<compiled-function |lookupIncomplete|> #38# #39=#(|setUnion| 144 |setIntersection| 150 |setDifference| 156 |removeDuplicates| 162 |null| 167 |nil| 172 |member?| 176 |elt| 182 |convert| 188 |cons| 193 |concat| 199 |append| 205 |OMwrite| 211)) #40=((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) 824 (#(|ListAggregate&| |StreamAggregate&| |ExtensibleLinearAggregate&| |FiniteLinearAggregate&| |UnaryRecursiveAggregate&| |LinearAggregate&| |RecursiveAggregate&| |IndexedAggregate&| |Collection&| |HomogeneousAggregate&| NIL |Aggregate&| |EltableAggregate&| NIL |SetCategory&| T T NIL T NIL |BasicType&| NIL) . #41=(#((|ListAggregate| 6) (|StreamAggregate| 6) (|ExtensibleLinearAggregate| 6) (|FiniteLinearAggregate| 6) (|UnaryRecursiveAggregate| 6) (|LinearAggregate| 6) (|RecursiveAggregate| 6) (|IndexedAggregate| 35 6) (|Collection| 6) (|HomogeneousAggregate| 6) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 35 6) (|Evalable| 6) (|SetCategory|) (|Type|) (|Eltable| 35 6) (|InnerEvalable| 6 6) (|CoercibleTo| 59) (|ConvertibleTo| 40) (|BasicType|) (|OpenMath|)) . #(1 13 12 0 14 3 13 12 0 15 15 16 1 8 0 0 17 3 6 12 13 0 8 18 1 13 12 0 19 0 20 0 21 2 13 0 15 20 22 1 13 12 0 23 1 13 12 0 24 1 13 12 0 25 1 0 15 0 26 2 0 15 0 8 27 2 0 12 13 0 28 3 0 12 13 0 8 29 2 0 0 0 0 30 1 0 0 0 31 2 0 0 0 0 32 2 0 8 6 0 33 2 0 0 0 0 34 2 0 6 0 35 36 2 0 0 0 0 37 1 38 0 15 39 1 40 0 38 41 1 6 40 0 42 1 40 0 43 44 1 0 40 0 45 2 5 0 0 0 32 2 5 0 0 0 34 2 5 0 0 0 37 1 5 0 0 31 1 0 8 0 9 0 0 0 7 2 5 8 6 0 33 2 0 6 0 35 36 1 1 40 0 45 2 0 0 6 0 10 2 0 0 0 0 30 2 0 0 0 0 11 3 3 12 13 0 8 29 2 3 12 13 0 28 1 3 15 0 26 2 3 15 0 8 27))) (|IndexedList| 6 (NRTEVAL 1)) #37# (#<compiled-function |LIST;nil;$;1|> . #38#) #42=(|Boolean|) (#<compiled-function |LIST;null;$B;2|> . #38#) (#<compiled-function |LIST;cons;S2$;3|> . #38#) (#<compiled-function |LIST;append;3$;4|> . #38#) #43=(|Void|) #44=(|OpenMathDevice|) (|newGoGet| #38# . #45=(0 . |OMputApp|)) #46=(|String|) (|newGoGet| #38# . #47=(5 . |OMputSymbol|)) (|newGoGet| #38# . #48=(12 . |not|)) (|newGoGet| #38# . #49=(17 . |OMwrite|)) (|newGoGet| #38# . #50=(24 . |OMputEndApp|)) #51=(|OpenMathEncoding|) (|newGoGet| #38# . #52=(29 . |OMencodingXML|)) (|newGoGet| #38# . #53=(33 . |OMopenString|)) (|newGoGet| #38# . #54=(39 . |OMputObject|)) (|newGoGet| #38# . #55=(44 . |OMputEndObject|)) (|newGoGet| #38# . #56=(49 . |OMclose|)) (|newGoGet| #38# . #57=(54 . |OMwrite|)) (|newGoGet| #38# . #58=(59 . |OMwrite|)) (|newGoGet| #38# . #59=(65 . |OMwrite|)) (|newGoGet| #38# . #60=(71 . |OMwrite|)) (|newGoGet| #38# . #61=(78 . |concat|)) (|newGoGet| #38# . #62=(84 . |removeDuplicates|)) (#<compiled-function |LIST;setUnion;3$;10|> . #38#) (|newGoGet| #38# . #63=(95 . |member?|)) (#<compiled-function |LIST;setIntersection;3$;11|> . #38#) #64=(|Integer|) (|newGoGet| #38# . #65=(107 . |elt|)) (#<compiled-function |LIST;setDifference;3$;12|> . #38#) #66=(|Symbol|) (|newGoGet| #38# . #67=(119 . |coerce|)) #68=(|InputForm|) (|newGoGet| #38# . #69=(124 . |convert|)) (|newGoGet| #38# . #70=(129 . |convert|)) #71=(|List| $) (|newGoGet| #38# . #72=(134 . |convert|)) (|newGoGet| #38# . #73=(139 . |convert|)) #74=(|Mapping| 6 6 6) #75=(|NonNegativeInteger|) #76=(|List| 6) #77=(|List| 50) #78=(|Equation| 6) #79=(|Mapping| 8 6) #80=(|Mapping| 8 6 6) #81=(|UniversalSegment| 35) #82='"last" #83='"rest" #84='"first" #85='"value" #86=(|Mapping| 6 6) #87=(|OutputForm|) #88=(|SingleInteger|) #89=(|List| 35) #90=(|Union| 6 '"failed")) (|Void|) (#<compiled-function |OUTFORM;print;$V;1|> . #37#) (|Boolean|) (|String|) (|newGoGet| #37# 0 . |empty?|) (#<compiled-function |OUTFORM;empty;$;71|> . #37#) (#<compiled-function |OUTFORM;message;S$;2|> . #37#) (#<compiled-function |OUTFORM;messagePrint;SV;3|> . #37#) (#<compiled-function |OUTFORM;=;2$B;4|> . #37#) (#<compiled-function |OUTFORM;=;3$;5|> . #37#) (|OutputForm|) (#<compiled-function |OUTFORM;coerce;$Of;6|> . #37#) (|Integer|) (#<compiled-function |OUTFORM;outputForm;I$;7|> . #37#) (|Symbol|) (#<compiled-function |OUTFORM;outputForm;S$;8|> . #37#) (|DoubleFloat|) (#<compiled-function |OUTFORM;outputForm;Df$;9|> . #37#) (|Character|) (|newGoGet| #37# 5 . |quote|) (|newGoGet| #37# 9 . |concat|) (|newGoGet| #37# 15 . |concat|) (#<compiled-function |OUTFORM;outputForm;S$;13|> . #37#) (#<compiled-function |OUTFORM;width;$I;14|> . #37#) (#<compiled-function |OUTFORM;height;$I;15|> . #37#) (#<compiled-function |OUTFORM;subHeight;$I;16|> . #37#) (#<compiled-function |OUTFORM;superHeight;$I;17|> . #37#) (#<compiled-function |OUTFORM;height;I;18|> . #37#) (#<compiled-function |OUTFORM;width;I;19|> . #37#) (#<compiled-function |OUTFORM;hspace;I$;27|> . #37#) (#<compiled-function |OUTFORM;hconcat;3$;46|> . #37#) (#<compiled-function |OUTFORM;center;$I$;20|> . #37#) (#<compiled-function |OUTFORM;left;$I$;21|> . #37#) (#<compiled-function |OUTFORM;right;$I$;22|> . #37#) (#<compiled-function |OUTFORM;center;2$;23|> . #37#) (#<compiled-function |OUTFORM;left;2$;24|> . #37#) (#<compiled-function |OUTFORM;right;2$;25|> . #37#) (#<compiled-function |OUTFORM;vspace;I$;26|> . #37#) (#<compiled-function |OUTFORM;vconcat;3$;48|> . #37#) (#<compiled-function |OUTFORM;rspace;2I$;28|> . #37#) (|List| 49) (#<compiled-function |OUTFORM;matrix;L$;29|> . #37#) (|List| $) (#<compiled-function |OUTFORM;pile;L$;30|> . #37#) (#<compiled-function |OUTFORM;commaSeparate;L$;31|> . #37#) (#<compiled-function |OUTFORM;semicolonSeparate;L$;32|> . #37#) (|newGoGet| #37# 21 . |reverse|) (|newGoGet| #37# 26 . |append|) (#<compiled-function |OUTFORM;blankSeparate;L$;33|> . #37#) (#<compiled-function |OUTFORM;brace;2$;34|> . #37#) (#<compiled-function |OUTFORM;brace;L$;35|> . #37#) (#<compiled-function |OUTFORM;bracket;2$;36|> . #37#) (#<compiled-function |OUTFORM;bracket;L$;37|> . #37#) (#<compiled-function |OUTFORM;paren;2$;38|> . #37#) (#<compiled-function |OUTFORM;paren;L$;39|> . #37#) (#<compiled-function |OUTFORM;sub;3$;40|> . #37#) (#<compiled-function |OUTFORM;super;3$;41|> . #37#) (#<compiled-function |OUTFORM;presub;3$;42|> . #37#) (#<compiled-function |OUTFORM;presuper;3$;43|> . #37#) (|newGoGet| #37# 32 . |null|) (|newGoGet| #37# 37 . |rest|) (|newGoGet| #37# 42 . |first|) (#<compiled-function |OUTFORM;scripts;$L$;44|> . #37#) (|NonNegativeInteger|) (|newGoGet| #37# 47 . |#|) (|List| $$) (|newGoGet| #37# 52 . |append|) (#<compiled-function |OUTFORM;supersub;$L$;45|> . #37#) (#<compiled-function |OUTFORM;hconcat;L$;47|> . #37#) (#<compiled-function |OUTFORM;vconcat;L$;49|> . #37#) (#<compiled-function |OUTFORM;^=;3$;50|> . #37#) (#<compiled-function |OUTFORM;<;3$;51|> . #37#) (#<compiled-function |OUTFORM;>;3$;52|> . #37#) (#<compiled-function |OUTFORM;<=;3$;53|> . #37#) (#<compiled-function |OUTFORM;>=;3$;54|> . #37#) (#<compiled-function |OUTFORM;+;3$;55|> . #37#) (#<compiled-function |OUTFORM;-;3$;56|> . #37#) (#<compiled-function |OUTFORM;-;2$;57|> . #37#) (#<compiled-function |OUTFORM;*;3$;58|> . #37#) (#<compiled-function |OUTFORM;/;3$;59|> . #37#) (#<compiled-function |OUTFORM;**;3$;60|> . #37#) (#<compiled-function |OUTFORM;div;3$;61|> . #37#) (#<compiled-function |OUTFORM;rem;3$;62|> . #37#) (#<compiled-function |OUTFORM;quo;3$;63|> . #37#) (#<compiled-function |OUTFORM;exquo;3$;64|> . #37#) (#<compiled-function |OUTFORM;and;3$;65|> . #37#) (#<compiled-function |OUTFORM;or;3$;66|> . #37#) (#<compiled-function |OUTFORM;not;2$;67|> . #37#) (#<compiled-function |OUTFORM;SEGMENT;3$;68|> . #37#) (#<compiled-function |OUTFORM;SEGMENT;2$;69|> . #37#) (#<compiled-function |OUTFORM;binomial;3$;70|> . #37#) (#<compiled-function |OUTFORM;infix?;$B;72|> . #37#) (#<compiled-function |OUTFORM;elt;$L$;73|> . #37#) (#<compiled-function |OUTFORM;prefix;$L$;74|> . #37#) (|newGoGet| #37# 58 . |rest|) (#<compiled-function |OUTFORM;infix;$L$;75|> . #37#) (#<compiled-function |OUTFORM;infix;4$;76|> . #37#) (#<compiled-function |OUTFORM;postfix;3$;77|> . #37#) (#<compiled-function |OUTFORM;string;2$;78|> . #37#) (#<compiled-function |OUTFORM;quote;2$;79|> . #37#) (#<compiled-function |OUTFORM;overbar;2$;80|> . #37#) (#<compiled-function |OUTFORM;dot;2$;81|> . #37#) (#<compiled-function |OUTFORM;prime;2$;82|> . #37#) (|newGoGet| #37# 63 . |char|) (#<compiled-function |OUTFORM;dot;$Nni$;83|> . #37#) (#<compiled-function |OUTFORM;prime;$Nni$;84|> . #37#) (#<compiled-function |OUTFORM;overlabel;3$;85|> . #37#) (#<compiled-function |OUTFORM;box;2$;86|> . #37#) (#<compiled-function |OUTFORM;zag;3$;87|> . #37#) (#<compiled-function |OUTFORM;root;2$;88|> . #37#) (#<compiled-function |OUTFORM;root;3$;89|> . #37#) (#<compiled-function |OUTFORM;over;3$;90|> . #37#) (#<compiled-function |OUTFORM;slash;3$;91|> . #37#) (#<compiled-function |OUTFORM;assign;3$;92|> . #37#) (#<compiled-function |OUTFORM;label;3$;93|> . #37#) (#<compiled-function |OUTFORM;rarrow;3$;94|> . #37#) (|PositiveInteger|) (|NumberFormats|) (|newGoGet| #37# 68 . |FormatRoman|) (|newGoGet| #37# 73 . |lowerCase|) (#<compiled-function |OUTFORM;differentiate;$Nni$;95|> . #37#) (#<compiled-function |OUTFORM;sum;2$;96|> . #37#) (#<compiled-function |OUTFORM;sum;3$;97|> . #37#) (#<compiled-function |OUTFORM;sum;4$;98|> . #37#) (#<compiled-function |OUTFORM;prod;2$;99|> . #37#) (#<compiled-function |OUTFORM;prod;3$;100|> . #37#) (#<compiled-function |OUTFORM;prod;4$;101|> . #37#) (#<compiled-function |OUTFORM;int;2$;102|> . #37#) (#<compiled-function |OUTFORM;int;3$;103|> . #37#) (#<compiled-function |OUTFORM;int;4$;104|> . #37#) (|SingleInteger|)) #91=(|Integer|) #92=(#<compiled-function |PRIMARR;minIndex;$I;2|> . #33#) (|newGoGet| #36# . #93=(5 . |maxIndex|)) (|newGoGet| #36# . #94=(10 . |qelt|)) #95=(|List| 7) (#<compiled-function |A1AGG-;parts;AL;1|> . #36#) #96=(|Mapping| 18 7 7) #97=(|FiniteLinearAggregateSort| 7 6) (|newGoGet| #36# . #98=(16 . |quickSort|)) (#<compiled-function |A1AGG-;sort!;M2A;2|> . #36#) #99=(|Boolean|) #100=(|Mapping| 18 7) (#<compiled-function |A1AGG-;any?;MAB;3|> . #36#) (#<compiled-function |A1AGG-;every?;MAB;4|> . #36#) (#<compiled-function |A1AGG-;position;MAI;5|> . #36#) #101=(|Union| 7 '"failed") (#<compiled-function |A1AGG-;find;MAU;6|> . #36#) #102=(|NonNegativeInteger|) (#<compiled-function |A1AGG-;count;MANni;7|> . #36#) #103=(#<compiled-function |PRIMARR;qsetelt!;$I2S;7|> . #33#) #104=(|Mapping| 7 7) (#<compiled-function |A1AGG-;map!;M2A;8|> . #36#) #105=(|UniversalSegment| 8) (|newGoGet| #36# . #106=(29 . |lo|)) (|newGoGet| #36# . #107=(34 . |hasHi|)) (|newGoGet| #36# . #108=(39 . |hi|)) (#<compiled-function |A1AGG-;setelt;AUs2S;9|> . #36#) (|newGoGet| #36# . #109=(44 . |empty?|)) #110=(|Mapping| 7 7 7) (#<compiled-function |A1AGG-;reduce;MAS;10|> . #36#) (#<compiled-function |A1AGG-;reduce;MA2S;11|> . #36#) (|newGoGet| #36# . #111=(49 . =)) (|newGoGet| #36# . #112=(55 . |not|)) (#<compiled-function |A1AGG-;reduce;MA3S;12|> . #36#) (|newGoGet| #36# . #113=(68 . |empty|)) #114=(#<compiled-function |PRIMARR;new;NniS$;4|> . #33#) (|newGoGet| #36# . #115=(78 . |first|)) (#<compiled-function |A1AGG-;map;M3A;15|> . #36#) (|newGoGet| #36# . #116=(83 . |#|)) (|newGoGet| #36# . #117=(88 . |elt|)) (#<compiled-function |A1AGG-;merge;M3A;16|> . #36#) (#<compiled-function |A1AGG-;elt;AUsA;17|> . #36#) (#<compiled-function |A1AGG-;insert;2AIA;18|> . #36#) (#<compiled-function |A1AGG-;copy;2A;19|> . #36#) (#<compiled-function |A1AGG-;copyInto!;2AIA;20|> . #36#) #118=(#<compiled-function |A1AGG-;construct;LA;21|> . #36#) (|newGoGet| #36# . #119=(94 . |copy|)) (#<compiled-function |A1AGG-;delete;AUsA;22|> . #36#) (#<compiled-function |A1AGG-;delete;AIA;23|> . #36#) #120=(|Void|) (|newGoGet| #36# . #121=(99 . |swap!|)) (#<compiled-function |A1AGG-;reverse!;2A;24|> . #36#) (|newGoGet| #36# . #122=(106 . |copyInto!|)) #123=(|List| $) (#<compiled-function |A1AGG-;concat;LA;25|> . #36#) (#<compiled-function |A1AGG-;sorted?;MAB;26|> . #36#) (#<compiled-function |A1AGG-;concat;3A;27|> . #36#) #124=(|OutputForm|) (|newGoGet| #36# . #125=(113 . |coerce|)) (|newGoGet| #36# . #126=(118 . |commaSeparate|)) (|newGoGet| #36# . #127=(123 . |bracket|)) (#<compiled-function |A1AGG-;coerce;AOf;28|> . #36#) (#<compiled-function |A1AGG-;=;2AB;29|> . #36#) (#<compiled-function |A1AGG-;position;SA2I;30|> . #36#) (|newGoGet| #36# . #128=(146 . <)) (|newGoGet| #36# 152 . <)) |FiniteLinearAggregate&| |LinearAggregate&| |IndexedAggregate&| |Collection&| |HomogeneousAggregate&| NIL |Aggregate&| |EltableAggregate&| NIL |SetCategory&| T T NIL T NIL |BasicType&|) #((|OneDimensionalArrayAggregate| 6) (|FiniteLinearAggregate| 6) (|LinearAggregate| 6) (|IndexedAggregate| 9 6) (|Collection| 6) (|HomogeneousAggregate| 6) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 9 6) (|Evalable| 6) (|SetCategory|) (|Type|) (|Eltable| 9 6) (|InnerEvalable| 6 6) (|CoercibleTo| 28) (|ConvertibleTo| 29) (|BasicType|)) . #(2 4 19 0 0 1 3 0 26 0 9 9 1 1 2 19 0 1 2 0 19 24 0 1 1 2 0 0 1 2 0 0 24 0 1 1 2 0 0 1 2 0 0 24 0 1 2 0 19 0 7 1 3 0 6 0 25 6 1 3 0 6 0 9 6 17 2 0 0 23 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 4 0 0 1 2 4 0 6 0 1 2 0 0 23 0 1 4 4 6 18 0 6 6 1 3 0 6 18 0 6 1 2 0 6 18 0 1 3 0 6 0 9 6 16 2 0 6 0 9 14 2 4 9 6 0 1 3 4 9 6 0 9 1 2 0 9 23 0 1 1 0 20 0 1 2 0 0 7 6 13 2 0 19 0 7 1 1 3 9 0 10 2 2 0 0 0 1 2 2 0 0 0 1 3 0 0 24 0 0 1 1 0 20 0 1 2 4 19 6 0 1 1 3 9 0 1 2 2 0 0 0 1 2 0 0 27 0 1 3 0 0 18 0 0 1 2 0 0 27 0 1 2 0 19 0 7 1 1 4 30 0 1 3 0 0 0 0 9 1 3 0 0 6 0 9 1 1 0 34 0 1 2 0 19 9 0 1 1 4 31 0 1 1 3 6 0 1 2 0 33 23 0 1 2 0 0 0 6 12 2 0 19 23 0 1 3 6 0 0 20 20 1 2 6 0 0 21 1 3 6 0 0 6 6 1 2 6 0 0 22 1 2 0 19 0 0 1 2 4 19 6 0 1 1 0 20 0 1 1 0 19 0 1 0 0 0 11 2 0 0 0 25 1 2 0 6 0 9 15 3 0 6 0 9 6 1 2 0 0 0 9 1 2 0 0 0 25 1 2 4 7 6 0 1 2 0 7 23 0 1 3 0 0 0 0 9 1 1 0 0 0 1 1 1 29 0 1 1 0 0 20 1 1 0 0 32 1 2 0 0 6 0 1 2 0 0 0 0 1 2 0 0 0 6 1 1 8 28 0 1 2 0 19 23 0 1 2 2 19 0 0 1 2 2 19 0 0 1 2 4 19 0 0 1 2 2 19 0 0 1 2 2 19 0 0 1 1 0 7 0 8)) NIL #37# (|NonNegativeInteger|) (#<compiled-function |PRIMARR;#;$Nni;1|> . #33#) (|Integer|) #92# (#<compiled-function |PRIMARR;empty;$;3|> . #33#) (#<compiled-function |PRIMARR;fill!;$S$;9|> . #33#) #114# (#<compiled-function |PRIMARR;qelt;$IS;5|> . #33#) (#<compiled-function |PRIMARR;elt;$IS;6|> . #33#) #103# (#<compiled-function |PRIMARR;setelt;$I2S;8|> . #33#) (|Mapping| 6 6 6) (|Boolean|) (|List| 6) (|Equation| 6) (|List| 21) (|Mapping| 19 6) (|Mapping| 19 6 6) (|UniversalSegment| 9) (|Void|) (|Mapping| 6 6) (|OutputForm|) (|InputForm|) (|String|) (|SingleInteger|) (|List| $) (|Union| 6 '"failed") (|List| 9)) #118# #(^@ ^A ^B ^C ^D ^E ^F ^G Backspace Tab Newline ^K Page Return ^N ^O ^P ^Q ^R ^S ^T ^U ^V ^W ^X ^Y ^Z ^[ ^\ ^] ^^ ^_ Space ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~ Rubout \200 \201 \202 \203 \204 \205 \206 \207 \210 \211 \212 \213 \214 \215 \216 \217 \220 \221 \222 \223 \224 \225 \226 \227 \230 \231 \232 \233 \234 \235 \236 \237 \240 \241 \242 \243 \244 \245 \246 \247 \250 \251 \252 \253 \254 \255 \256 \257 \260 \261 \262 \263 \264 \265 \266 \267 \270 \271 \272 \273 \274 \275 \276 \277 \300 \301 \302 \303 \304 \305 \306 \307 \310 \311 \312 \313 \314 \315 \316 \317 \320 \321 \322 \323 \324 \325 \326 \327 \330 \331 \332 \333 \334 \335 \336 \337 \340 \341 \342 \343 \344 \345 \346 \347 \350 \351 \352 \353 \354 \355 \356 \357 \360 \361 \362 \363 \364 \365 \366 \367 \370 \371 \372 \373 \374 \375 \376 \377) 0 (|Boolean|) #129=(#<compiled-function |CHAR;=;2$B;1|> . #31#) (#<compiled-function |CHAR;<;2$B;2|> . #31#) (|NonNegativeInteger|) #130=(#<compiled-function |CHAR;size;Nni;3|> . #31#) (|Integer|) (#<compiled-function |CHAR;char;I$;6|> . #31#) (|PositiveInteger|) (#<compiled-function |CHAR;index;Pi$;4|> . #31#) #131=(#<compiled-function |CHAR;ord;$I;7|> . #31#) (#<compiled-function |CHAR;lookup;$Pi;5|> . #31#) (|newGoGet| #31# 5 . |coerce|) (#<compiled-function |CHAR;random;$;8|> . #31#) (#<compiled-function |CHAR;space;$;9|> . #31#) (#<compiled-function |CHAR;quote;$;10|> . #31#) (#<compiled-function |CHAR;escape;$;11|> . #31#) #37# (#<compiled-function |CHAR;coerce;$Of;12|> . #31#) #132=#((|CharacterClass|) (#<compiled-function |lookupComplete|> #132# #(~= 95 |upperCase| 101 |universe| 105 |union| 109 |symmetricDifference| 127 |subset?| 133 |size?| 139 |size| 145 |set| 149 |select!| 158 |select| 164 |sample| 170 |removeDuplicates| 174 |remove!| 179 |remove| 191 |reduce| 203 |random| 224 |parts| 228 |more?| 233 |min| 239 |members| 244 |member?| 249 |max| 255 |map!| 260 |map| 266 |lowerCase| 272 |lookup| 276 |less?| 281 |latex| 287 |intersect| 292 |inspect| 298 |insert!| 303 |index| 309 |hexDigit| 314 |hash| 318 |find| 323 |extract!| 329 |every?| 334 |eval| 340 |eq?| 366 |empty?| 372 |empty| 377 |digit| 381 |difference| 385 |dictionary| 397 |count| 406 |copy| 418 |convert| 423 |construct| 438 |complement| 443 |coerce| 448 |charClass| 453 |cardinality| 463 |brace| 468 |bag| 477 |any?| 482 |alphanumeric| 488 |alphabetic| 492 = 496 < 502 |#| 508)) ((|finiteAggregate| . 0) (|partiallyOrderedSet| . 0) (|shallowlyMutable| . 0)) 78 (#(|FiniteSetAggregate&| |Dictionary&| |SetAggregate&| |DictionaryOperations&| |Collection&| |BagAggregate&| |HomogeneousAggregate&| T |SetCategory&| |Aggregate&| NIL T |BasicType&| T T T NIL NIL) #((|FiniteSetAggregate| 8) (|Dictionary| 8) (|SetAggregate| 8) (|DictionaryOperations| 8) (|Collection| 8) (|BagAggregate| 8) (|HomogeneousAggregate| 8) (|Finite|) (|SetCategory|) (|Aggregate|) (|Evalable| 8) (|ConvertibleTo| 33) (|BasicType|) (|Type|) (|ConvertibleTo| 11) (|CoercibleTo| 44) (|InnerEvalable| 8 8) (|ConvertibleTo| 64)) . #(0 8 7 9 2 6 20 0 0 21 1 8 23 0 24 2 6 20 0 23 25 2 6 0 0 0 27 2 6 0 0 0 28 1 6 0 0 30 1 11 0 33 35 1 8 0 23 37 2 6 0 7 20 38 1 11 23 0 39 1 11 23 0 40 2 11 8 0 23 41 3 6 20 0 23 20 42 1 11 44 0 45 2 6 0 0 20 57 3 6 0 0 0 23 58 2 0 20 0 0 1 0 0 0 15 0 2 0 1 2 0 0 8 0 1 2 0 0 0 0 17 2 0 0 0 8 1 2 0 0 0 0 1 2 0 20 0 0 1 2 0 20 0 7 1 0 2 7 1 0 0 0 1 1 0 0 33 1 2 0 0 66 0 1 2 0 0 66 0 1 0 0 0 1 1 4 0 0 1 2 0 0 8 0 51 2 0 0 66 0 1 2 4 0 8 0 1 2 0 0 66 0 1 4 4 8 63 0 8 8 1 2 0 8 63 0 1 3 0 8 63 0 8 1 0 2 0 1 1 0 33 0 60 2 0 20 0 7 1 1 3 8 0 1 1 0 33 0 1 2 4 20 8 0 26 1 3 8 0 1 2 0 0 54 0 59 2 0 0 54 0 55 0 0 0 16 1 2 65 0 1 2 0 20 0 7 1 1 0 11 0 1 2 0 0 0 0 29 1 0 8 0 52 2 0 0 8 0 50 1 2 0 65 1 0 0 0 14 1 0 68 0 1 2 0 67 66 0 1 1 0 8 0 53 2 0 20 66 0 1 2 5 0 0 61 1 2 5 0 0 62 1 3 5 0 0 33 33 1 3 5 0 0 8 8 1 2 0 20 0 0 1 1 0 20 0 1 0 0 0 48 0 0 0 13 2 0 0 0 8 1 2 0 0 0 0 31 0 0 0 1 1 0 0 33 1 2 4 7 8 0 1 2 0 7 66 0 1 1 0 0 0 1 1 1 64 0 1 1 0 33 0 34 1 0 11 0 36 1 0 0 33 1 1 2 0 0 32 1 0 44 0 46 1 0 0 33 43 1 0 0 11 12 1 0 7 0 1 1 0 0 33 1 0 0 0 49 1 0 0 33 1 2 0 20 66 0 1 0 0 0 19 0 0 0 18 2 0 20 0 0 22 2 0 20 0 0 1 1 0 7 0 47)) NIL #133=#((|IndexedBits| 0) (#<compiled-function |lookupComplete|> #133# #(~= 56 ~ 62 |xor| 67 |swap!| 73 |sorted?| 80 |sort!| 91 |sort| 102 |size?| 113 |setelt| 119 |select| 133 |sample| 139 |reverse!| 143 |reverse| 148 |removeDuplicates| 153 |remove| 158 |reduce| 170 |qsetelt!| 191 |qelt| 198 |position| 204 |parts| 223 |or| 228 |not| 234 |nor| 239 |new| 245 |nand| 251 |more?| 257 |minIndex| 263 |min| 268 |merge| 274 |members| 287 |member?| 292 |maxIndex| 298 |max| 303 |map!| 309 |map| 315 |less?| 328 |latex| 334 |insert| 339 |indices| 353 |index?| 358 |hash| 364 |first| 369 |find| 374 |fill!| 380 |every?| 386 |eval| 392 |eq?| 418 |entry?| 424 |entries| 430 |empty?| 435 |empty| 440 |elt| 444 |delete| 463 |count| 475 |copyInto!| 487 |copy| 494 |convert| 499 |construct| 504 |concat| 509 |coerce| 532 |any?| 537 |and| 543 ^ 549 |\\/| 554 |Or| 560 |Not| 566 |And| 571 >= 577 > 583 = 589 <= 595 < 601 |/\\| 607 |#| 613)) ((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) 47 (#(|BitAggregate&| |OneDimensionalArrayAggregate&| |FiniteLinearAggregate&| |LinearAggregate&| |Collection&| |IndexedAggregate&| |OrderedSet&| |HomogeneousAggregate&| |SetCategory&| |EltableAggregate&| |Aggregate&| |Logic&| NIL T T |BasicType&| T NIL T) #((|BitAggregate|) (|OneDimensionalArrayAggregate| 17) (|FiniteLinearAggregate| 17) (|LinearAggregate| 17) (|Collection| 17) (|IndexedAggregate| 7 17) (|OrderedSet|) (|HomogeneousAggregate| 17) (|SetCategory|) (|EltableAggregate| 7 17) (|Aggregate|) (|Logic|) (|Evalable| 17) (|Eltable| 7 17) (|Type|) (|BasicType|) (|CoercibleTo| 20) (|InnerEvalable| 17 17) (|ConvertibleTo| 43)) . #(1 12 0 11 13 0 12 0 14 1 11 7 0 15 1 11 7 0 16 3 11 12 0 7 12 19 1 11 20 0 21 2 17 0 0 0 28 3 0 0 29 0 0 30 2 17 0 0 0 32 2 17 0 0 0 34 2 0 17 0 0 1 1 0 0 0 1 2 0 0 0 0 35 3 0 45 0 7 7 1 1 2 17 0 1 2 0 17 29 0 1 1 2 0 0 1 2 0 0 29 0 1 1 2 0 0 1 2 0 0 29 0 1 2 0 17 0 9 1 3 0 17 0 7 17 36 3 0 17 0 46 17 1 2 0 0 44 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 4 0 0 1 2 4 0 17 0 1 2 0 0 44 0 1 4 4 17 29 0 17 17 1 2 0 17 29 0 1 3 0 17 29 0 17 1 3 0 17 0 7 17 1 2 0 17 0 7 1 3 4 7 17 0 7 1 2 4 7 17 0 1 2 0 7 44 0 1 1 0 42 0 1 2 0 0 0 0 33 1 0 0 0 1 2 0 0 0 0 1 2 0 0 9 17 23 2 0 0 0 0 1 2 0 17 0 9 1 1 3 7 0 8 2 0 0 0 0 1 2 2 0 0 0 1 3 0 0 29 0 0 1 1 0 42 0 1 2 4 17 17 0 1 1 3 7 0 1 2 0 0 0 0 1 2 0 0 44 0 1 2 0 0 44 0 1 3 0 0 29 0 0 30 2 0 17 0 9 1 1 0 11 0 1 3 0 0 17 0 7 1 3 0 0 0 0 7 1 1 0 47 0 1 2 0 17 7 0 1 1 0 50 0 1 1 3 17 0 1 2 0 48 44 0 1 2 0 0 0 17 1 2 0 17 44 0 1 2 5 0 0 40 1 2 5 0 0 41 1 3 5 0 0 17 17 1 3 5 0 0 42 42 1 2 0 17 0 0 1 2 4 17 17 0 1 1 0 42 0 1 1 0 17 0 1 0 0 0 24 3 0 17 0 7 17 1 2 0 17 0 7 18 2 0 0 0 46 1 2 0 0 0 7 1 2 0 0 0 46 1 2 4 9 17 0 1 2 0 9 44 0 1 3 0 0 0 0 7 1 1 0 0 0 25 1 1 43 0 1 1 0 0 42 1 2 0 0 0 17 1 2 0 0 0 0 1 2 0 0 17 0 1 1 0 0 49 1 1 0 20 0 22 2 0 17 44 0 1 2 0 0 0 0 31 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 39 1 0 0 0 37 2 0 0 0 0 38 2 0 17 0 0 1 2 0 17 0 0 1 2 0 17 0 0 26 2 0 17 0 0 1 2 0 17 0 0 27 2 0 0 0 0 1 1 0 9 0 10)) NIL 0 (|Integer|) (#<compiled-function |IBITS;minIndex;$I;1|> . #133#) (|NonNegativeInteger|) (#<compiled-function |IBITS;#;$Nni;7|> . #133#) (|String|) (|Character|) (|newGoGet| #133# 0 . |char|) (|newGoGet| #133# 5 . |space|) (|newGoGet| #133# 9 . |minIndex|) (|newGoGet| #133# 14 . |maxIndex|) (|Boolean|) #134=(#<compiled-function |IBITS;elt;$IB;14|> . #133#) (|newGoGet| #133# 19 . |setelt|) (|OutputForm|) (|newGoGet| #133# 26 . |coerce|) (#<compiled-function |IBITS;coerce;$Of;3|> . #133#) #135=(#<compiled-function |IBITS;new;NniB$;4|> . #133#) (#<compiled-function |IBITS;empty;$;5|> . #133#) (#<compiled-function |IBITS;copy;2$;6|> . #133#) (#<compiled-function |IBITS;=;2$B;8|> . #133#) (#<compiled-function |IBITS;<;2$B;9|> . #133#) (|newGoGet| #133# 31 . |and|) (|Mapping| 17 17 17) (|newGoGet| #133# 37 . |map|) (#<compiled-function |IBITS;and;3$;10|> . #133#) (|newGoGet| #133# 44 . |or|) (#<compiled-function |IBITS;or;3$;11|> . #133#) (|newGoGet| #133# 50 . |xor|) (#<compiled-function |IBITS;xor;3$;12|> . #133#) #136=(#<compiled-function |IBITS;setelt;$I2B;13|> . #133#) (#<compiled-function |IBITS;Not;2$;15|> . #133#) (#<compiled-function |IBITS;And;3$;16|> . #133#) (#<compiled-function |IBITS;Or;3$;17|> . #133#) (|Equation| 17) (|List| 40) (|List| 17) (|InputForm|) (|Mapping| 17 17) (|Void|) (|UniversalSegment| 7) (|List| 7) (|Union| 17 '"failed") (|List| $) (|SingleInteger|)) (|NonNegativeInteger|) #31# #130# 256 #25# (#<compiled-function |CCLASS;charClass;S$;15|> . #132#) #137=(#<compiled-function IDENTITY> . #*0000000000000000000000000000000000000000000000001111111111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (|makeSpadConstant| #<compiled-function |CCLASS;hexDigit;$;2|> #132# 14) (|makeSpadConstant| #<compiled-function |CCLASS;upperCase;$;3|> #132# 15) (|makeSpadConstant| #<compiled-function |CCLASS;lowerCase;$;4|> #132# 16) (#<compiled-function |CCLASS;union;3$;9|> . #132#) (|makeSpadConstant| #<compiled-function |CCLASS;alphabetic;$;5|> #132# 18) (|makeSpadConstant| #<compiled-function |CCLASS;alphanumeric;$;6|> #132# 19) (|Boolean|) (|newGoGet| #132# 4 . =) (#<compiled-function |CCLASS;=;2$B;7|> . #132#) (|Integer|) #131# #134# #138=(#<compiled-function |CCLASS;member?;C$B;8|> . #132#) (|newGoGet| #132# 21 . |Or|) (|newGoGet| #132# 27 . |And|) (#<compiled-function |CCLASS;intersect;3$;10|> . #132#) (|newGoGet| #132# 33 . |Not|) (#<compiled-function |CCLASS;difference;3$;11|> . #132#) (#<compiled-function |CCLASS;complement;2$;12|> . #132#) (|List| 8) (#<compiled-function |CCLASS;convert;$L;14|> . #132#) (|newGoGet| #132# 38 . |construct|) (#<compiled-function |CCLASS;convert;$S;13|> . #132#) (|newGoGet| #132# 43 . |char|) #135# #139=(#<compiled-function |ISTRING;minIndex;$I;11|> . #140=#(#141=(|IndexedString| 1) (#<compiled-function |lookupComplete|> #140# #(~= 107 |upperCase!| 113 |upperCase| 118 |trim| 123 |swap!| 135 |suffix?| 142 |substring?| 148 |split| 155 |sorted?| 167 |sort!| 178 |sort| 189 |size?| 200 |setelt| 206 |select| 220 |sample| 226 |rightTrim| 230 |reverse!| 242 |reverse| 247 |replace| 252 |removeDuplicates| 259 |remove| 264 |reduce| 276 |qsetelt!| 297 |qelt| 304 |prefix?| 310 |position| 316 |parts| 349 |new| 354 |more?| 360 |minIndex| 366 |min| 371 |merge| 377 |members| 390 |member?| 395 |maxIndex| 401 |max| 406 |match?| 412 |match| 419 |map!| 426 |map| 432 |lowerCase!| 445 |lowerCase| 450 |less?| 455 |leftTrim| 461 |latex| 473 |insert| 478 |indices| 492 |index?| 497 |hash| 503 |first| 513 |find| 518 |fill!| 524 |every?| 530 |eval| 536 |eq?| 562 |entry?| 568 |entries| 574 |empty?| 579 |empty| 584 |elt| 588 |delete| 613 |count| 625 |copyInto!| 637 |copy| 644 |convert| 649 |construct| 654 |concat| 659 |coerce| 682 |any?| 692 >= 698 > 704 = 710 <= 716 < 722 |#| 728)) ((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) 414 (#(|StringAggregate&| |OneDimensionalArrayAggregate&| |FiniteLinearAggregate&| #142=#((|LinearAggregate&| #141# #28#) (#<compiled-function |lookupComplete|> #142# #(|maxIndex| 44 |insert| 49 |indices| 56 |index?| 61 |concat| 67)) NIL 1 (#() #() . #(1 6 8 0 9 1 6 8 0 10 1 13 0 0 14 2 6 0 16 7 17 2 6 0 0 0 18 3 6 0 0 0 8 21 1 6 16 0 23 1 0 8 0 24 1 0 8 0 24 3 0 0 7 0 8 22 1 0 11 0 12 2 0 13 8 0 15 2 0 0 0 7 19 2 0 0 7 0 20)) NIL #140# #31# (|Integer|) #139# (|newGoGet| #142# 5 . |maxIndex|) (|List| 8) (#<compiled-function |LNAGG-;indices;AL;1|> . #142#) (|Boolean|) (|newGoGet| #142# 10 . |not|) (#<compiled-function |LNAGG-;index?;IAB;2|> . #142#) (|NonNegativeInteger|) (|newGoGet| #142# 15 . |new|) (|newGoGet| #142# 21 . |concat|) (#<compiled-function |LNAGG-;concat;ASA;3|> . #142#) (#<compiled-function |LNAGG-;concat;S2A;4|> . #142#) (|newGoGet| #142# 27 . |insert|) (#<compiled-function |LNAGG-;insert;SAIA;5|> . #142#) #143=(#<compiled-function |ISTRING;#;$Nni;4|> . #140#) #144=(#<compiled-function |LNAGG-;maxIndex;AI;6|> . #142#) (|List| $)) |IndexedAggregate&| |Collection&| |HomogeneousAggregate&| |OrderedSet&| |Aggregate&| |EltableAggregate&| NIL |SetCategory&| T T NIL T NIL |BasicType&|) #((|StringAggregate|) (|OneDimensionalArrayAggregate| 8) (|FiniteLinearAggregate| 8) (|LinearAggregate| 8) (|IndexedAggregate| 18 8) (|Collection| 8) (|HomogeneousAggregate| 8) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 18 8) (|Evalable| 8) (|SetCategory|) (|Type|) (|Eltable| 18 8) (|InnerEvalable| 8 8) (|CoercibleTo| 25) (|ConvertibleTo| 77) (|BasicType|)) . #(2 19 0 18 18 20 1 19 0 18 22 1 25 0 24 26 0 29 0 30 1 8 0 0 31 2 0 0 32 0 33 0 29 0 35 1 8 0 0 36 1 19 18 0 39 1 19 11 0 40 1 19 18 0 41 1 0 18 0 42 0 8 0 43 2 29 11 8 0 49 2 8 11 0 0 53 0 54 0 55 1 11 0 0 56 2 54 0 2 0 57 1 54 0 0 58 1 8 18 0 68 2 0 11 0 0 71 2 4 11 0 0 1 1 0 0 0 34 1 0 0 0 1 2 0 0 0 8 1 2 0 0 0 29 1 3 0 81 0 18 18 1 2 0 11 0 0 51 3 0 11 0 0 18 46 2 0 59 0 29 61 2 0 59 0 8 60 1 2 11 0 1 2 0 11 80 0 1 1 2 0 0 1 2 0 0 80 0 1 1 2 0 0 1 2 0 0 80 0 1 2 0 11 0 7 1 3 0 8 0 19 8 1 3 0 8 0 18 8 45 2 0 0 79 0 1 0 0 0 1 2 0 0 0 8 64 2 0 0 0 29 65 1 0 0 0 1 1 0 0 0 1 3 0 0 0 19 0 44 1 4 0 0 1 2 4 0 8 0 1 2 0 0 79 0 1 4 4 8 76 0 8 8 1 3 0 8 76 0 8 1 2 0 8 76 0 1 3 0 8 0 18 8 1 2 0 8 0 18 1 2 0 11 0 0 71 3 4 18 8 0 18 48 2 4 18 8 0 1 3 0 18 29 0 18 50 3 0 18 0 0 18 47 2 0 18 79 0 1 1 0 73 0 1 2 0 0 7 8 9 2 0 11 0 7 1 1 3 18 0 28 2 2 0 0 0 1 2 2 0 0 0 1 3 0 0 80 0 0 1 1 0 73 0 1 2 4 11 8 0 1 1 3 18 0 42 2 2 0 0 0 1 3 0 11 0 0 8 72 3 0 7 0 0 8 70 2 0 0 32 0 33 3 0 0 76 0 0 1 2 0 0 32 0 1 1 0 0 0 37 1 0 0 0 1 2 0 11 0 7 1 2 0 0 0 8 62 2 0 0 0 29 63 1 4 24 0 38 3 0 0 8 0 18 1 3 0 0 0 0 18 23 1 0 83 0 1 2 0 11 18 0 1 1 4 78 0 1 1 0 18 0 69 1 3 8 0 1 2 0 82 79 0 1 2 0 0 0 8 1 2 0 11 79 0 1 3 6 0 0 73 73 1 3 6 0 0 8 8 1 2 6 0 0 74 1 2 6 0 0 75 1 2 0 11 0 0 1 2 4 11 8 0 1 1 0 73 0 1 1 0 11 0 12 0 0 0 10 2 0 0 0 0 1 2 0 0 0 19 21 2 0 8 0 18 52 3 0 8 0 18 8 1 2 0 0 0 18 1 2 0 0 0 19 1 2 4 7 8 0 1 2 0 7 79 0 1 3 0 0 0 0 18 66 1 0 0 0 17 1 1 77 0 1 1 0 0 73 1 1 0 0 59 67 2 0 0 0 0 16 2 0 0 0 8 1 2 0 0 8 0 1 1 8 25 0 27 1 0 0 8 1 2 0 11 79 0 1 2 2 11 0 0 1 2 2 11 0 0 1 2 4 11 0 0 14 2 2 11 0 0 1 2 2 11 0 0 15 1 0 7 0 13)) NIL 1 (|NonNegativeInteger|) #31# (#<compiled-function |ISTRING;new;NniC$;1|> . #140#) (#<compiled-function |ISTRING;empty;$;2|> . #140#) #145=#((|Boolean|) (#<compiled-function |lookupComplete|> #145# #(~= 25 ~ 31 |xor| 36 |true| 42 |test| 46 |size| 51 |random| 55 |or| 59 |not| 65 |nor| 70 |nand| 76 |min| 82 |max| 88 |lookup| 94 |latex| 99 |index| 104 |implies| 109 |hash| 115 |false| 120 |equiv| 124 |convert| 130 |coerce| 135 |and| 140 ^ 146 |\\/| 151 >= 157 > 163 = 169 <= 175 < 181 |/\\| 187)) NIL 0 (#(|OrderedSet&| T |Logic&| |SetCategory&| T T |BasicType&| T) #((|OrderedSet|) (|Finite|) (|Logic|) (|SetCategory|) (|ConvertibleTo| 36) (|PropositionalLogic|) (|BasicType|) (|CoercibleTo| 39)) . #(1 6 0 0 23 1 27 6 0 28 1 34 0 33 35 1 36 0 34 37 1 39 0 33 40 2 0 6 0 0 1 1 0 0 0 12 2 0 0 0 0 17 0 0 0 8 1 0 6 0 7 0 0 25 26 0 0 0 32 2 0 0 0 0 15 1 0 0 0 10 2 0 0 0 0 18 2 0 0 0 0 19 2 0 0 0 0 1 2 0 0 0 0 1 1 0 29 0 31 1 0 33 0 1 1 0 0 29 30 2 0 0 0 0 21 1 0 42 0 1 0 0 0 9 2 0 0 0 0 22 1 0 36 0 38 1 0 39 0 41 2 0 0 0 0 13 1 0 0 0 11 2 0 0 0 0 16 2 0 6 0 0 1 2 0 6 0 0 1 2 0 6 0 0 20 2 0 6 0 0 1 2 0 6 0 0 24 2 0 0 0 0 14)) NIL (|Boolean|) (#<compiled-function |BOOLEAN;test;$B;1|> . #145#) (|makeSpadConstant| #<compiled-function |BOOLEAN;true;$;3|> #145# 8) (|makeSpadConstant| #<compiled-function |BOOLEAN;false;$;4|> #145# 9) #146=(#<compiled-function |BOOLEAN;not;2$;5|> . #145#) (#<compiled-function |BOOLEAN;^;2$;6|> . #145#) (#<compiled-function |BOOLEAN;~;2$;7|> . #145#) (#<compiled-function |BOOLEAN;and;3$;8|> . #145#) (#<compiled-function |BOOLEAN;/\\;3$;9|> . #145#) (#<compiled-function |BOOLEAN;or;3$;10|> . #145#) (#<compiled-function |BOOLEAN;\\/;3$;11|> . #145#) (#<compiled-function |BOOLEAN;xor;3$;12|> . #145#) (#<compiled-function |BOOLEAN;nor;3$;13|> . #145#) (#<compiled-function |BOOLEAN;nand;3$;14|> . #145#) (#<compiled-function |BOOLEAN;=;2$B;15|> . #145#) (#<compiled-function |BOOLEAN;implies;3$;16|> . #145#) (#<compiled-function |BOOLEAN;equiv;3$;17|> . #145#) (|newGoGet| #145# 0 . |not|) (#<compiled-function |BOOLEAN;<;2$B;18|> . #145#) (|NonNegativeInteger|) (#<compiled-function |BOOLEAN;size;Nni;19|> . #145#) (|Integer|) (|newGoGet| #145# 5 . |even?|) (|PositiveInteger|) (#<compiled-function |BOOLEAN;index;Pi$;20|> . #145#) (#<compiled-function |BOOLEAN;lookup;$Pi;21|> . #145#) (#<compiled-function |BOOLEAN;random;$;22|> . #145#) (|String|) (|Symbol|) (|newGoGet| #145# 10 . |coerce|) (|InputForm|) (|newGoGet| #145# 15 . |convert|) (#<compiled-function |BOOLEAN;convert;$If;23|> . #145#) (|OutputForm|) (|newGoGet| #145# 20 . |message|) (#<compiled-function |BOOLEAN;coerce;$Of;24|> . #145#) (|SingleInteger|)) (#<compiled-function |ISTRING;empty?;$B;3|> . #140#) #143# (#<compiled-function |ISTRING;=;2$B;5|> . #140#) (#<compiled-function |ISTRING;<;2$B;6|> . #140#) (#<compiled-function |ISTRING;concat;3$;7|> . #140#) (#<compiled-function |ISTRING;copy;2$;8|> . #140#) #23# #147=#((|UniversalSegment| #22#) (#<compiled-function |lookupComplete|> #147# #(~= 147 |segment| 153 |map| 164 |low| 170 |lo| 175 |latex| 180 |incr| 185 |high| 190 |hi| 195 |hash| 200 |hasHi| 205 |expand| 210 |convert| 220 |coerce| 225 SEGMENT 235 BY 246 = 252)) NIL 3 (#(T T |SetCategory&| T |BasicType&| T) #((|SegmentExpansionCategory| 6 (|Stream| 6)) (|SegmentCategory| 6) (|SetCategory|) (|Type|) (|BasicType|) (|CoercibleTo| 28)) . #(1 21 6 0 22 1 21 6 0 23 2 6 15 0 0 26 2 0 15 0 0 27 1 6 28 0 29 2 28 0 0 0 30 1 28 0 0 31 1 12 28 0 32 3 28 0 0 0 0 33 1 0 28 0 34 1 0 35 36 37 1 0 35 0 38 2 35 0 39 0 40 2 0 35 39 0 41 2 6 0 0 0 42 0 35 0 43 1 44 15 0 45 1 44 2 0 46 1 44 0 0 47 2 21 0 6 6 48 2 21 0 0 12 49 2 50 0 0 21 51 1 6 0 12 52 2 35 0 39 6 53 1 21 54 36 55 1 35 0 54 56 2 35 0 0 0 57 2 2 15 0 0 1 1 0 0 6 8 2 0 0 6 6 9 2 1 35 39 0 41 1 0 6 0 14 1 0 6 0 10 1 2 58 0 1 1 0 12 0 18 1 0 6 0 17 1 0 6 0 11 1 2 59 0 1 1 0 15 0 16 1 1 35 0 38 1 1 35 36 37 1 0 0 6 25 1 2 28 0 34 1 0 0 21 24 1 0 0 6 19 2 0 0 6 6 20 2 0 0 0 12 13 2 2 15 0 0 27)) NIL #23# #148=#((|Union| #149=(|Record| . #150=((|:| |low| #22#) (|:| |incr| #22#))) #151=(|Record| . #152=((|:| |low| #22#) (|:| |high| #22#) (|:| |incr| #22#)))) (#<compiled-function |lookupInTable|> #148# ((= (((|Boolean|) $ $) . 12)) (|coerce| ((#8# $) . 14)))) NIL (|SetCategory|) (#9# #10#) (#153=#(#149# (#<compiled-function |lookupInTable|> #153# ((= (((|Boolean|) $ $) . 12)) (|coerce| ((#8# $) . 14)))) NIL (|RecordCategory| . #150#) (#9# #10#) (#23# #23#) (#<compiled-function |RecordEqual|> . #153#) (#<compiled-function |RecordPrint|> . #153#) (#<compiled-function |Undef|> . #153#) (NIL)) #154=#(#151# (#<compiled-function |lookupInTable|> #154# ((= (((|Boolean|) $ $) . 12)) (|coerce| ((#8# $) . 14)))) NIL (|RecordCategory| . #152#) (#9# #10#) (#23# #23# #23#) (#<compiled-function |RecordEqual|> . #154#) (#<compiled-function |RecordPrint|> . #154#) (#<compiled-function |Undef|> . #154#) #(NIL NIL NIL))) (#<compiled-function |UnionEqual|> . #148#) (#<compiled-function |UnionPrint|> . #148#) (#<compiled-function |Undef|> . #148#)) (#<compiled-function |UNISEG;segment;S$;1|> . #147#) (#<compiled-function |UNISEG;segment;2S$;2|> . #147#) #155=(#<compiled-function |UNISEG;lo;$S;4|> . #147#) #156=(#<compiled-function |UNISEG;hi;$S;7|> . #147#) (|Integer|) (#<compiled-function |UNISEG;BY;$I$;3|> . #147#) (#<compiled-function |UNISEG;low;$S;5|> . #147#) (|Boolean|) #157=(#<compiled-function |UNISEG;hasHi;$B;6|> . #147#) (#<compiled-function |UNISEG;high;$S;8|> . #147#) (#<compiled-function |UNISEG;incr;$I;9|> . #147#) (#<compiled-function |UNISEG;SEGMENT;S$;10|> . #147#) #158=(#<compiled-function |UNISEG;SEGMENT;2S$;11|> . #147#) (|Segment| 6) (|newGoGet| #147# 0 . |lo|) (|newGoGet| #147# 5 . |hi|) (#<compiled-function |UNISEG;coerce;S$;12|> . #147#) (#<compiled-function |UNISEG;convert;S$;13|> . #147#) (|newGoGet| #147# 10 . =) (#<compiled-function |UNISEG;=;2$B;14|> . #147#) (|OutputForm|) (|newGoGet| #147# 22 . |coerce|) (|newGoGet| #147# 27 . SEGMENT) (|newGoGet| #147# 33 . SEGMENT) (|newGoGet| #147# 38 . |coerce|) (|newGoGet| #147# 43 . |infix|) (#<compiled-function |UNISEG;coerce;$Of;15|> . #147#) (|Stream| 6) (|List| $) (#<compiled-function |UNISEG;expand;LS;19|> . #147#) (#<compiled-function |UNISEG;expand;$S;16|> . #147#) (|Mapping| 6 6) (|newGoGet| #147# 65 . |map|) (#<compiled-function |UNISEG;map;M$S;17|> . #147#) (|newGoGet| #147# 77 . +) (|newGoGet| #147# 83 . |empty|) (|List| $$) (|newGoGet| #147# 87 . |null|) (|newGoGet| #147# 92 . |first|) (|newGoGet| #147# 97 . |rest|) (|newGoGet| #147# 102 . SEGMENT) (|newGoGet| #147# 108 . BY) (|List| 21) (|newGoGet| #147# 114 . |concat!|) (|newGoGet| #147# 120 . |coerce|) (|newGoGet| #147# 125 . |generate|) (|List| 6) (|newGoGet| #147# 131 . |expand|) (|newGoGet| #147# 136 . |construct|) (|newGoGet| #147# 141 . |concat|) (|String|) (|SingleInteger|)) #158# (#<compiled-function |ISTRING;elt;$Us$;31|> . #140#) (|newGoGet| #140# 6 . SEGMENT) (#<compiled-function |ISTRING;insert;2$I$;9|> . #140#) (|String|) (|OutputForm|) (|newGoGet| #140# 11 . |outputForm|) (#<compiled-function |ISTRING;coerce;$Of;10|> . #140#) #139# (|CharacterClass|) (|newGoGet| #140# 16 . |upperCase|) (|newGoGet| #140# 20 . |upperCase|) (|Mapping| 8 8) (|newGoGet| #140# 25 . |map!|) (#<compiled-function |ISTRING;upperCase!;2$;12|> . #140#) (|newGoGet| #140# 31 . |lowerCase|) (|newGoGet| #140# 35 . |lowerCase|) (#<compiled-function |ISTRING;lowerCase!;2$;13|> . #140#) (#<compiled-function |ISTRING;latex;$S;14|> . #140#) #155# #157# #156# #144# (|newGoGet| #140# 60 . |space|) (#<compiled-function |ISTRING;replace;$Us2$;15|> . #140#) (#<compiled-function |ISTRING;setelt;$I2C;16|> . #140#) (#<compiled-function |ISTRING;substring?;2$IB;17|> . #140#) (#<compiled-function |ISTRING;position;2$2I;18|> . #140#) #159=(#<compiled-function |ISTRING;position;C$2I;19|> . #140#) (|newGoGet| #140# 64 . |member?|) (#<compiled-function |ISTRING;position;Cc$2I;20|> . #140#) (#<compiled-function |ISTRING;suffix?;2$B;21|> . #140#) #160=(#<compiled-function |ISTRING;elt;$IC;30|> . #140#) #129# #161=#((|List| #141#) (#<compiled-function |lookupIncomplete|> #161# #39#) #40# 826 (#(|ListAggregate&| |StreamAggregate&| |ExtensibleLinearAggregate&| |FiniteLinearAggregate&| |UnaryRecursiveAggregate&| |LinearAggregate&| |RecursiveAggregate&| |IndexedAggregate&| |Collection&| |HomogeneousAggregate&| |OrderedSet&| |Aggregate&| |EltableAggregate&| NIL |SetCategory&| T T NIL T NIL |BasicType&| NIL) . #41#) #162=#((|IndexedList| #141# 1) (#<compiled-function |lookupComplete|> #162# #(~= 84 |value| 90 |third| 95 |tail| 100 |swap!| 105 |split!| 112 |sorted?| 118 |sort!| 129 |sort| 140 |size?| 151 |setvalue!| 157 |setrest!| 163 |setlast!| 169 |setfirst!| 175 |setelt| 181 |setchildren!| 223 |select!| 229 |select| 235 |second| 241 |sample| 246 |reverse!| 250 |reverse| 255 |rest| 260 |removeDuplicates!| 271 |removeDuplicates| 276 |remove!| 281 |remove| 293 |reduce| 305 |qsetelt!| 326 |qelt| 333 |possiblyInfinite?| 339 |position| 344 |parts| 363 |nodes| 368 |node?| 373 |new| 379 |more?| 385 |minIndex| 391 |min| 396 |merge!| 402 |merge| 415 |members| 428 |member?| 433 |maxIndex| 439 |max| 444 |map!| 450 |map| 456 |list| 469 |less?| 474 |leaves| 480 |leaf?| 485 |latex| 490 |last| 495 |insert!| 506 |insert| 520 |indices| 534 |index?| 539 |hash| 545 |first| 550 |find| 561 |fill!| 567 |explicitlyFinite?| 573 |every?| 578 |eval| 584 |eq?| 610 |entry?| 616 |entries| 622 |empty?| 627 |empty| 632 |elt| 636 |distance| 679 |delete!| 685 |delete| 697 |cyclic?| 709 |cycleTail| 714 |cycleSplit!| 719 |cycleLength| 724 |cycleEntry| 729 |count| 734 |copyInto!| 746 |copy| 753 |convert| 758 |construct| 763 |concat!| 768 |concat| 780 |coerce| 803 |children| 808 |child?| 813 |any?| 819 >= 825 > 831 = 837 <= 843 < 849 |#| 855)) ((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) 414 (#(|ListAggregate&| |StreamAggregate&| |ExtensibleLinearAggregate&| |FiniteLinearAggregate&| |UnaryRecursiveAggregate&| |LinearAggregate&| |RecursiveAggregate&| |IndexedAggregate&| |Collection&| |HomogeneousAggregate&| |OrderedSet&| |Aggregate&| |EltableAggregate&| NIL |SetCategory&| T T NIL T NIL |BasicType&|) #((|ListAggregate| 6) (|StreamAggregate| 6) (|ExtensibleLinearAggregate| 6) (|FiniteLinearAggregate| 6) (|UnaryRecursiveAggregate| 6) (|LinearAggregate| 6) (|RecursiveAggregate| 6) (|IndexedAggregate| 30 6) (|Collection| 6) (|HomogeneousAggregate| 6) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 30 6) (|Evalable| 6) (|SetCategory|) (|Type|) (|Eltable| 30 6) (|InnerEvalable| 6 6) (|CoercibleTo| 37) (|ConvertibleTo| 68) (|BasicType|)) . #(1 11 0 0 33 1 0 11 0 34 1 0 0 0 36 1 6 37 0 38 1 37 0 39 40 1 41 0 37 42 1 37 0 39 43 1 37 0 0 44 2 41 0 0 37 45 1 0 37 0 46 2 6 11 0 0 47 2 0 11 0 0 48 1 6 49 0 50 1 0 49 0 51 2 0 11 6 0 52 1 0 0 0 54 2 4 11 0 0 1 1 0 6 0 1 1 0 6 0 1 1 0 0 0 1 3 0 63 0 30 30 1 2 0 0 0 30 58 1 2 11 0 1 2 0 11 55 0 1 1 2 0 0 1 2 0 0 55 0 56 1 2 0 0 1 2 0 0 55 0 1 2 0 11 0 8 1 2 0 6 0 6 1 2 0 0 0 0 23 2 0 6 0 6 1 2 0 6 0 6 21 3 0 6 0 30 6 1 3 0 6 0 64 6 1 3 0 6 0 65 6 1 3 0 0 0 19 0 24 3 0 6 0 14 6 22 3 0 6 0 66 6 1 2 0 0 0 39 1 2 0 0 62 0 1 2 0 0 62 0 1 1 0 6 0 1 0 0 0 1 1 0 0 0 28 1 0 0 0 29 2 0 0 0 8 32 1 0 0 0 18 1 4 0 0 54 1 4 0 0 1 2 4 0 6 0 1 2 0 0 62 0 1 2 4 0 6 0 1 2 0 0 62 0 1 4 4 6 59 0 6 6 1 2 0 6 59 0 1 3 0 6 59 0 6 1 3 0 6 0 30 6 1 2 0 6 0 30 1 1 0 11 0 1 2 4 30 6 0 1 3 4 30 6 0 30 1 2 0 30 62 0 1 1 0 25 0 27 1 0 39 0 1 2 4 11 0 0 1 2 0 0 8 6 1 2 0 11 0 8 1 1 3 30 0 31 2 2 0 0 0 1 2 2 0 0 0 1 3 0 0 55 0 0 57 2 2 0 0 0 1 3 0 0 55 0 0 1 1 0 25 0 1 2 4 11 6 0 52 1 3 30 0 1 2 2 0 0 0 1 2 0 0 67 0 1 3 0 0 59 0 0 1 2 0 0 67 0 1 1 0 0 6 1 2 0 11 0 8 1 1 0 25 0 1 1 0 11 0 1 1 4 49 0 51 2 0 0 0 8 1 1 0 6 0 1 3 0 0 6 0 30 1 3 0 0 0 0 30 1 3 0 0 0 0 30 1 3 0 0 6 0 30 1 1 0 70 0 1 2 0 11 30 0 1 1 4 69 0 1 2 0 0 0 8 1 1 0 6 0 13 2 0 71 62 0 1 2 0 0 0 6 1 1 0 11 0 1 2 0 11 62 0 1 3 6 0 0 6 6 1 3 6 0 0 25 25 1 2 6 0 0 60 1 2 6 0 0 61 1 2 0 11 0 0 12 2 4 11 6 0 1 1 0 25 0 1 1 0 11 0 17 0 0 0 16 2 0 6 0 30 1 3 0 6 0 30 6 1 2 0 0 0 64 1 2 0 6 0 65 1 2 0 0 0 19 20 2 0 6 0 14 15 2 0 6 0 66 1 2 0 30 0 0 1 2 0 0 0 64 1 2 0 0 0 30 1 2 0 0 0 64 1 2 0 0 0 30 1 1 0 11 0 34 1 0 0 0 1 1 0 0 0 1 1 0 8 0 1 1 0 0 0 36 2 4 8 6 0 1 2 0 8 62 0 1 3 0 0 0 0 30 1 1 0 0 0 35 1 1 68 0 1 1 0 0 25 26 2 0 0 0 0 53 2 0 0 0 6 1 1 0 0 39 1 2 0 0 0 6 1 2 0 0 6 0 10 2 0 0 0 0 1 1 8 37 0 46 1 0 39 0 1 2 4 11 0 0 1 2 0 11 62 0 1 2 2 11 0 0 1 2 2 11 0 0 1 2 4 11 0 0 48 2 2 11 0 0 1 2 2 11 0 0 1 1 0 8 0 9)) NIL #140# 1 (|NonNegativeInteger|) (#<compiled-function |ILIST;#;$Nni;1|> . #162#) #163=(#<compiled-function |ILIST;concat;S2$;2|> . #162#) (|Boolean|) (#<compiled-function |ILIST;eq?;2$B;3|> . #162#) (#<compiled-function |ILIST;first;$S;4|> . #162#) '"first" (#<compiled-function |ILIST;elt;$firstS;5|> . #162#) #164=(#<compiled-function |ILIST;empty;$;6|> . #162#) (#<compiled-function |ILIST;empty?;$B;7|> . #162#) (#<compiled-function |ILIST;rest;2$;8|> . #162#) '"rest" (#<compiled-function |ILIST;elt;$rest$;9|> . #162#) (#<compiled-function |ILIST;setfirst!;$2S;10|> . #162#) (#<compiled-function |ILIST;setelt;$first2S;11|> . #162#) (#<compiled-function |ILIST;setrest!;3$;12|> . #162#) (#<compiled-function |ILIST;setelt;$rest2$;13|> . #162#) (|List| 6) (#<compiled-function |ILIST;construct;L$;14|> . #162#) (#<compiled-function |ILIST;parts;$L;15|> . #162#) #165=(#<compiled-function |ILIST;reverse!;2$;16|> . #162#) (#<compiled-function |ILIST;reverse;2$;17|> . #162#) (|Integer|) (#<compiled-function |ILIST;minIndex;$I;18|> . #162#) (#<compiled-function |ILIST;rest;$Nni$;19|> . #162#) (|newGoGet| #162# 0 . |not|) (|newGoGet| #162# 5 . |cyclic?|) (#<compiled-function |ILIST;copy;2$;20|> . #162#) (|newGoGet| #162# 10 . |cycleEntry|) (|OutputForm|) (|newGoGet| #162# 15 . |coerce|) (|List| $) (|newGoGet| #162# 20 . |bracket|) (|List| 37) (|newGoGet| #162# 25 . |list|) (|newGoGet| #162# 30 . |commaSeparate|) (|newGoGet| #162# 35 . |overbar|) (|newGoGet| #162# 40 . |concat!|) (#<compiled-function |ILIST;coerce;$Of;21|> . #162#) (|newGoGet| #162# 51 . =) (#<compiled-function |ILIST;=;2$B;22|> . #162#) (|String|) (|newGoGet| #162# 63 . |latex|) (#<compiled-function |ILIST;latex;$S;23|> . #162#) (#<compiled-function |ILIST;member?;S$B;24|> . #162#) (#<compiled-function |ILIST;concat!;3$;25|> . #162#) (#<compiled-function |ILIST;removeDuplicates!;2$;26|> . #162#) (|Mapping| 11 6 6) (#<compiled-function |ILIST;sort!;M2$;27|> . #162#) (#<compiled-function |ILIST;merge!;M3$;28|> . #162#) (#<compiled-function |ILIST;split!;$I$;29|> . #162#) (|Mapping| 6 6 6) (|Equation| 6) (|List| 60) (|Mapping| 11 6) (|Void|) (|UniversalSegment| 30) '"last" '"value" (|Mapping| 6 6) (|InputForm|) (|SingleInteger|) (|List| 30) (|Union| 6 '"failed")) #140# (#<compiled-function |LIST;nil;$;1|> . #161#) #42# (#<compiled-function |LIST;null;$B;2|> . #161#) (#<compiled-function |LIST;cons;S2$;3|> . #161#) (#<compiled-function |LIST;append;3$;4|> . #161#) #43# #44# (|newGoGet| #161# . #45#) #46# (|newGoGet| #161# . #47#) (|newGoGet| #161# . #48#) (|newGoGet| #161# . #49#) (|newGoGet| #161# . #50#) #51# (|newGoGet| #161# . #52#) (|newGoGet| #161# . #53#) (|newGoGet| #161# . #54#) (|newGoGet| #161# . #55#) (|newGoGet| #161# . #56#) (|newGoGet| #161# . #57#) (|newGoGet| #161# . #58#) (|newGoGet| #161# . #59#) (|newGoGet| #161# . #60#) (|newGoGet| #161# . #61#) (|newGoGet| #161# . #62#) (#<compiled-function |LIST;setUnion;3$;10|> . #161#) (|newGoGet| #161# . #63#) (#<compiled-function |LIST;setIntersection;3$;11|> . #161#) #64# (|newGoGet| #161# . #65#) (#<compiled-function |LIST;setDifference;3$;12|> . #161#) #66# (|newGoGet| #161# . #67#) #68# (|newGoGet| #161# . #69#) (|newGoGet| #161# . #70#) #71# (|newGoGet| #161# . #72#) (|newGoGet| #161# . #73#) #74# #75# #76# #77# #78# #79# #80# #81# #82# #83# #84# #85# #86# #87# #88# #89# #90#) #164# #146# #163# #165# (|List| $) (#<compiled-function |ISTRING;split;$CL;22|> . #140#) (#<compiled-function |ISTRING;split;$CcL;23|> . #140#) (#<compiled-function |ISTRING;leftTrim;$C$;24|> . #140#) (#<compiled-function |ISTRING;leftTrim;$Cc$;25|> . #140#) (#<compiled-function |ISTRING;rightTrim;$C$;26|> . #140#) (#<compiled-function |ISTRING;rightTrim;$Cc$;27|> . #140#) (#<compiled-function |ISTRING;copyInto!;2$I$;29|> . #140#) (#<compiled-function |ISTRING;concat;L$;28|> . #140#) (|newGoGet| #140# 96 . |ord|) (#<compiled-function |ISTRING;hash;$I;32|> . #140#) (#<compiled-function |ISTRING;match;2$CNni;33|> . #140#) (|newGoGet| #140# 101 . |prefix?|) (#<compiled-function |ISTRING;match?;2$CB;34|> . #140#) (|List| 8) (|List| 75) (|Equation| 8) (|Mapping| 8 8 8) (|InputForm|) (|SingleInteger|) (|Mapping| 11 8) (|Mapping| 11 8 8) (|Void|) (|Union| 8 '"failed") (|List| 18))) #144# #160# #136# (#<compiled-function |CCLASS;charClass;L$;16|> . #132#) (|OutputForm|) (|newGoGet| #132# 77 . |coerce|) (#<compiled-function |CCLASS;coerce;$Of;17|> . #132#) (#<compiled-function |CCLASS;#;$Nni;18|> . #132#) (#<compiled-function |CCLASS;empty;$;19|> . #132#) (#<compiled-function |CCLASS;brace;$;20|> . #132#) (#<compiled-function |CCLASS;insert!;C2$;21|> . #132#) (#<compiled-function |CCLASS;remove!;C2$;22|> . #132#) (#<compiled-function |CCLASS;inspect;$C;23|> . #132#) (#<compiled-function |CCLASS;extract!;$C;24|> . #132#) (|Mapping| 8 8) (#<compiled-function |CCLASS;map;M2$;25|> . #132#) #*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (|newGoGet| #132# 82 . |fill!|) (|newGoGet| #132# 88 . |copyInto!|) (#<compiled-function |CCLASS;map!;M2$;26|> . #132#) (#<compiled-function |CCLASS;parts;$L;27|> . #132#) (|Equation| 8) (|List| 61) (|Mapping| 8 8 8) (|InputForm|) (|PositiveInteger|) (|Mapping| 20 8) (|Union| 8 '"failed") (|SingleInteger|)) #137# (|Character|) #138# (#<compiled-function |CHAR;digit?;$B;13|> . #31#) (|newGoGet| #31# 20 . |hexDigit|) (#<compiled-function |CHAR;hexDigit?;$B;14|> . #31#) (|newGoGet| #31# 24 . |upperCase|) (#<compiled-function |CHAR;upperCase?;$B;15|> . #31#) (|newGoGet| #31# 28 . |lowerCase|) (#<compiled-function |CHAR;lowerCase?;$B;16|> . #31#) (|newGoGet| #31# 32 . |alphabetic|) (#<compiled-function |CHAR;alphabetic?;$B;17|> . #31#) (|newGoGet| #31# 36 . |alphanumeric|) (#<compiled-function |CHAR;alphanumeric?;$B;18|> . #31#) #25# (#<compiled-function |CHAR;latex;$S;19|> . #31#) #139# #160# (#<compiled-function |CHAR;char;S$;20|> . #31#) (#<compiled-function |CHAR;upperCase;2$;21|> . #31#) (#<compiled-function |CHAR;lowerCase;2$;22|> . #31#) (|SingleInteger|)) #91# (|newGoGet| #27# 0 . |minIndex|) (|newGoGet| #27# . #93#) (|newGoGet| #27# . #94#) #95# (#<compiled-function |A1AGG-;parts;AL;1|> . #27#) #96# #97# (|newGoGet| #27# . #98#) (#<compiled-function |A1AGG-;sort!;M2A;2|> . #27#) #99# #100# (#<compiled-function |A1AGG-;any?;MAB;3|> . #27#) (#<compiled-function |A1AGG-;every?;MAB;4|> . #27#) (#<compiled-function |A1AGG-;position;MAI;5|> . #27#) #101# (#<compiled-function |A1AGG-;find;MAU;6|> . #27#) #102# (#<compiled-function |A1AGG-;count;MANni;7|> . #27#) (|newGoGet| #27# 22 . |qsetelt!|) #104# (#<compiled-function |A1AGG-;map!;M2A;8|> . #27#) #105# (|newGoGet| #27# . #106#) (|newGoGet| #27# . #107#) (|newGoGet| #27# . #108#) (#<compiled-function |A1AGG-;setelt;AUs2S;9|> . #27#) (|newGoGet| #27# . #109#) #110# (#<compiled-function |A1AGG-;reduce;MAS;10|> . #27#) (#<compiled-function |A1AGG-;reduce;MA2S;11|> . #27#) (|newGoGet| #27# . #111#) (|newGoGet| #27# . #112#) (#<compiled-function |A1AGG-;reduce;MA3S;12|> . #27#) (|newGoGet| #27# . #113#) (|newGoGet| #27# 72 . |new|) (|newGoGet| #27# . #115#) (#<compiled-function |A1AGG-;map;M3A;15|> . #27#) (|newGoGet| #27# . #116#) (|newGoGet| #27# . #117#) (#<compiled-function |A1AGG-;merge;M3A;16|> . #27#) (#<compiled-function |A1AGG-;elt;AUsA;17|> . #27#) (#<compiled-function |A1AGG-;insert;2AIA;18|> . #27#) (#<compiled-function |A1AGG-;copy;2A;19|> . #27#) (#<compiled-function |A1AGG-;copyInto!;2AIA;20|> . #27#) (#<compiled-function |A1AGG-;construct;LA;21|> . #27#) (|newGoGet| #27# . #119#) (#<compiled-function |A1AGG-;delete;AUsA;22|> . #27#) (#<compiled-function |A1AGG-;delete;AIA;23|> . #27#) #120# (|newGoGet| #27# . #121#) (#<compiled-function |A1AGG-;reverse!;2A;24|> . #27#) (|newGoGet| #27# . #122#) #123# (#<compiled-function |A1AGG-;concat;LA;25|> . #27#) (#<compiled-function |A1AGG-;sorted?;MAB;26|> . #27#) (#<compiled-function |A1AGG-;concat;3A;27|> . #27#) #124# (|newGoGet| #27# . #125#) (|newGoGet| #27# . #126#) (|newGoGet| #27# . #127#) (#<compiled-function |A1AGG-;coerce;AOf;28|> . #27#) (#<compiled-function |A1AGG-;=;2AB;29|> . #27#) (#<compiled-function |A1AGG-;position;SA2I;30|> . #27#) (|newGoGet| #27# . #128#) (#<compiled-function |A1AGG-;<;2AB;31|> . #27#)) #166=#((|FiniteLinearAggregate&| #26# #28#) (#<compiled-function |lookupComplete|> #166# #(|sorted?| 101 |sort!| 106 |sort| 111 |reverse| 122 |position| 127 |merge| 133)) NIL 7 (#() #() . #(1 6 8 0 9 3 6 8 7 0 8 10 2 0 8 7 0 11 2 7 12 0 0 13 0 12 0 14 2 7 12 0 0 15 2 6 12 16 0 17 1 0 12 0 18 3 6 0 16 0 0 19 2 0 0 0 0 20 2 6 0 16 0 21 1 0 0 0 22 1 6 0 0 23 1 6 0 0 24 1 0 0 0 25 2 6 0 16 0 26 2 0 0 16 0 27 1 0 0 0 28 1 0 12 0 18 1 0 0 0 28 1 0 0 0 22 2 0 0 16 0 27 1 0 0 0 25 2 0 8 7 0 11 2 0 0 0 0 20)) NIL #25# #31# (|Integer|) #139# #159# (#<compiled-function |FLAGG-;position;SAI;1|> . #166#) (|Boolean|) (|newGoGet| #166# 18 . <) (|newGoGet| #166# 24 . |true|) (|newGoGet| #166# 28 . =) (|Mapping| 12 7 7) (|newGoGet| #166# 34 . |sorted?|) (#<compiled-function |FLAGG-;sorted?;AB;2|> . #166#) (|newGoGet| #166# 45 . |merge|) (#<compiled-function |FLAGG-;merge;3A;3|> . #166#) (|newGoGet| #166# 58 . |sort|) (#<compiled-function |FLAGG-;sort;2A;4|> . #166#) (|newGoGet| #166# 69 . |copy|) (|newGoGet| #166# 74 . |reverse!|) (#<compiled-function |FLAGG-;reverse;2A;7|> . #166#) (|newGoGet| #166# 84 . |sort!|) (#<compiled-function |FLAGG-;sort;M2A;6|> . #166#) (#<compiled-function |FLAGG-;sort!;2A;8|> . #166#) (|Mapping| 12 7)) |LinearAggregate&| |IndexedAggregate&| |Collection&| |HomogeneousAggregate&| |OrderedSet&| |Aggregate&| |EltableAggregate&| |SetCategory&| NIL T T T T |BasicType&| NIL NIL) #((|StringCategory|) (|StringAggregate|) (|OneDimensionalArrayAggregate| 24) (|FiniteLinearAggregate| 24) (|LinearAggregate| 24) (|IndexedAggregate| 6 24) (|Collection| 24) (|HomogeneousAggregate| 24) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 6 24) (|SetCategory|) (|Evalable| 24) (|OpenMath|) (|Type|) (|Eltable| 6 24) (|CoercibleTo| 35) (|BasicType|) (|InnerEvalable| 24 24) (|ConvertibleTo| 29)) . #(0 8 0 9 2 11 0 10 8 12 1 11 13 0 14 2 11 13 0 10 15 1 11 13 0 16 1 11 13 0 17 2 0 19 0 0 1 1 0 0 0 1 1 0 0 0 1 2 0 0 0 36 1 2 0 0 0 24 1 3 0 13 0 6 6 1 2 0 19 0 0 1 3 0 19 0 0 6 1 1 0 0 6 7 2 0 37 0 36 1 2 0 37 0 24 1 1 2 19 0 1 2 0 19 31 0 1 1 2 0 0 1 2 0 0 31 0 1 1 2 0 0 1 2 0 0 31 0 1 2 0 19 0 28 1 3 0 24 0 32 24 1 3 0 24 0 6 24 1 2 0 0 30 0 1 0 0 0 1 2 0 0 0 24 1 2 0 0 0 36 1 1 0 0 0 1 1 0 0 0 1 3 0 0 0 32 0 1 1 4 0 0 1 2 4 0 24 0 1 2 0 0 30 0 1 4 4 24 27 0 24 24 1 3 0 24 27 0 24 1 2 0 24 27 0 1 3 0 24 0 6 24 1 2 0 24 0 6 1 2 0 19 0 0 1 3 4 6 24 0 6 1 2 4 6 24 0 1 3 0 6 36 0 6 1 3 0 6 0 0 6 1 2 0 6 30 0 1 1 0 23 0 1 2 0 0 28 24 1 2 0 19 0 28 1 1 3 6 0 1 2 2 0 0 0 1 2 2 0 0 0 1 3 0 0 31 0 0 1 1 0 23 0 1 2 4 19 24 0 1 1 3 6 0 1 2 2 0 0 0 1 3 0 19 0 0 24 1 3 0 28 0 0 24 1 2 0 0 33 0 1 3 0 0 27 0 0 1 2 0 0 33 0 1 1 0 0 0 1 1 0 0 0 1 2 0 19 0 28 1 2 0 0 0 36 1 2 0 0 0 24 1 1 0 10 0 1 3 0 0 24 0 6 1 3 0 0 0 0 6 1 1 0 39 0 1 2 0 19 6 0 1 1 0 34 0 1 1 3 24 0 1 2 0 38 30 0 1 2 0 0 0 24 1 2 0 19 30 0 1 3 5 0 0 23 23 1 3 5 0 0 24 24 1 2 5 0 0 25 1 2 5 0 0 26 1 2 0 19 0 0 1 2 4 19 24 0 1 1 0 23 0 1 1 0 19 0 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 32 1 3 0 24 0 6 24 1 2 0 24 0 6 1 2 0 0 0 32 1 2 0 0 0 6 1 2 4 28 24 0 1 2 0 28 30 0 1 3 0 0 0 0 6 1 1 0 0 0 1 1 1 29 0 1 1 0 0 23 1 2 0 0 0 0 1 1 0 0 37 1 2 0 0 24 0 1 2 0 0 0 24 1 1 0 35 0 1 1 0 0 24 1 2 0 19 30 0 1 2 0 13 11 0 21 3 0 13 11 0 19 22 2 0 10 0 19 20 1 0 10 0 18 2 2 19 0 0 1 2 2 19 0 0 1 2 0 19 0 0 1 2 2 19 0 0 1 2 2 19 0 0 1 1 0 28 0 1)) #140# (|Integer|) (#<compiled-function |STRING;string;I$;1|> . #25#) (|OpenMathEncoding|) (|newGoGet| #25# 0 . |OMencodingXML|) (|String|) (|OpenMathDevice|) (|newGoGet| #25# 4 . |OMopenString|) (|Void|) (|newGoGet| #25# 10 . |OMputObject|) (|newGoGet| #25# 15 . |OMputString|) (|newGoGet| #25# 21 . |OMputEndObject|) (|newGoGet| #25# 26 . |OMclose|) (#<compiled-function |STRING;OMwrite;$S;2|> . #25#) (|Boolean|) (#<compiled-function |STRING;OMwrite;$BS;3|> . #25#) (#<compiled-function |STRING;OMwrite;Omd$V;4|> . #25#) (#<compiled-function |STRING;OMwrite;Omd$BV;5|> . #25#) (|List| 24) #31# (|List| 26) (|Equation| 24) (|Mapping| 24 24 24) (|NonNegativeInteger|) (|InputForm|) (|Mapping| 19 24) (|Mapping| 19 24 24) (|UniversalSegment| 6) (|Mapping| 24 24) (|SingleInteger|) (|OutputForm|) (|CharacterClass|) (|List| $) (|Union| 24 '"failed") (|List| 6)) (|newGoGet| #0# 10 . |OMputSymbol|) #23# (#<compiled-function |FLOAT;mantissa;$I;51|> . #0#) (|newGoGet| #0# 17 . |OMputInteger|) (#<compiled-function |FLOAT;exponent;$I;52|> . #0#) (|newGoGet| #0# 23 . |OMputEndApp|) (|OpenMathEncoding|) (|newGoGet| #0# 28 . |OMencodingXML|) (|newGoGet| #0# 32 . |OMopenString|) (|newGoGet| #0# 38 . |OMputObject|) (|newGoGet| #0# 43 . |OMputEndObject|) (|newGoGet| #0# 48 . |OMclose|) (#<compiled-function |FLOAT;OMwrite;$S;2|> . #0#) (|Boolean|) (#<compiled-function |FLOAT;OMwrite;$BS;3|> . #0#) (#<compiled-function |FLOAT;OMwrite;Omd$V;4|> . #0#) (#<compiled-function |FLOAT;OMwrite;Omd$BV;5|> . #0#) (|newGoGet| #0# 53 . |sign|) (#<compiled-function |FLOAT;zero?;$B;54|> . #0#) (|makeSpadConstant| #<compiled-function |FLOAT;Zero;$;48|> #0# 34) (#<compiled-function |FLOAT;negative?;$B;55|> . #0#) (#<compiled-function |FLOAT;-;2$;73|> . #0#) (#<compiled-function |FLOAT;asin;2$;7|> . #0#) (#<compiled-function IDENTITY> . #167=(1 . 0)) (#<compiled-function |FLOAT;=;2$B;62|> . #0#) (#<compiled-function |FLOAT;pi;$;18|> . #0#) (#<compiled-function |FLOAT;/;$I$;82|> . #0#) (#<compiled-function |FLOAT;<;2$B;63|> . #0#) (#<compiled-function |FLOAT;increasePrecision;IPi;41|> . #0#) (#<compiled-function |FLOAT;sqrt;2$;36|> . #0#) (#<compiled-function |FLOAT;/;3$;81|> . #0#) (#<compiled-function |FLOAT;atan;2$;10|> . #0#) (#<compiled-function |FLOAT;decreasePrecision;IPi;42|> . #0#) (#<compiled-function |FLOAT;normalize;2$;60|> . #0#) (#<compiled-function |FLOAT;acos;2$;8|> . #0#) (#<compiled-function |FLOAT;-;3$;76|> . #0#) (#<compiled-function |FLOAT;abs;2$;64|> . #0#) (#<compiled-function |FLOAT;atan;3$;9|> . #0#) (|newGoGet| #0# 58 . |fractionPart|) (#<compiled-function |FLOAT;bits;Pi;37|> . #0#) (#<compiled-function |FLOAT;wholePart;$I;66|> . #0#) (|IntegerRoots| 16) (|newGoGet| #0# 63 . |approxSqrt|) (#<compiled-function |FLOAT;order;$I;46|> . #0#) (|newGoGet| #0# 68 . *) (#<compiled-function |FLOAT;*;3$;79|> . #0#) (#<compiled-function |FLOAT;+;3$;75|> . #0#) (#<compiled-function |FLOAT;shift;$I$;61|> . #0#) (|newGoGet| #0# 74 . |not|) (#<compiled-function |FLOAT;sign;$I;69|> . #0#) (|newGoGet| #0# 79 . *) (#<compiled-function |FLOAT;bits;2Pi;38|> . #0#) (|newGoGet| #0# 85 . **) (#<compiled-function |FLOAT;*;I2$;80|> . #0#) (#<compiled-function |FLOAT;sin;2$;13|> . #0#) (#<compiled-function |FLOAT;cos;2$;15|> . #0#) (#<compiled-function |FLOAT;tan;2$;17|> . #0#) (1 1 . 2) (#<compiled-function |FLOAT;precision;Pi;39|> . #0#) (|newGoGet| #0# 91 . **) #168=#(#169=(|NonNegativeInteger|) (#<compiled-function |lookupComplete|> #168# #(~= 5 |zero?| 11 |sup| 16 |subtractIfCan| 22 |shift| 28 |sample| 34 |rem| 38 |recip| 44 |random| 49 |quo| 54 |one?| 60 |min| 65 |max| 71 |latex| 77 |hash| 82 |gcd| 87 |exquo| 93 |divide| 99 |coerce| 105 ^ 110 |Zero| 122 |One| 126 >= 130 > 136 = 142 <= 148 < 154 + 160 ** 166 * 178)) (((|commutative| "*") . 0)) 0 (#(T T T T T |Monoid&| |AbelianMonoid&| |OrderedSet&| |SemiGroup&| |AbelianSemiGroup&| |SetCategory&| |BasicType&| T) #((|OrderedAbelianMonoidSup|) (|OrderedCancellationAbelianMonoid|) (|OrderedAbelianMonoid|) (|OrderedAbelianSemiGroup|) (|CancellationAbelianMonoid|) (|Monoid|) (|AbelianMonoid|) (|OrderedSet|) (|SemiGroup|) (|AbelianSemiGroup|) (|SetCategory|) (|BasicType|) (|CoercibleTo| 17)) . #(1 6 0 0 7 2 0 6 0 0 1 1 0 6 0 1 2 0 0 0 0 8 2 0 10 0 0 11 2 0 0 0 5 9 0 0 0 1 2 0 0 0 0 1 1 0 10 0 1 1 0 0 0 1 2 0 0 0 0 1 1 0 6 0 1 2 0 0 0 0 1 2 0 0 0 0 1 1 0 16 0 1 1 0 15 0 1 2 0 0 0 0 1 2 0 10 0 0 1 2 0 12 0 0 1 1 0 17 0 1 2 0 0 0 13 1 2 0 0 0 14 1 0 0 0 1 0 0 0 1 2 0 6 0 0 1 2 0 6 0 0 1 2 0 6 0 0 1 2 0 6 0 0 1 2 0 6 0 0 1 2 0 0 0 0 1 2 0 0 0 13 1 2 0 0 0 14 1 2 0 0 0 0 1 2 0 0 13 0 1 2 0 0 14 0 1)) (|Integer|) (|Boolean|) (|newGoGet| #168# 0 . |not|) (#<compiled-function |NNI;sup;3$;1|> . #168#) (#<compiled-function |NNI;shift;$I$;2|> . #168#) (|Union| $ '"failed") (#<compiled-function |NNI;subtractIfCan;2$U;3|> . #168#) (|Record| (|:| |quotient| $) (|:| |remainder| $)) (|PositiveInteger|) (|NonNegativeInteger|) (|SingleInteger|) (|String|) (|OutputForm|)) (|newGoGet| #0# 97 . *) (|newGoGet| #0# 103 . *) (|newGoGet| #0# 109 . **) (#<compiled-function |FLOAT;exp;2$;32|> . #0#) (#<compiled-function |FLOAT;sinh;2$;20|> . #0#) (#<compiled-function |FLOAT;cosh;2$;21|> . #0#) (#<compiled-function |FLOAT;tanh;2$;22|> . #0#) (#<compiled-function |FLOAT;log;2$;26|> . #0#) (#<compiled-function |FLOAT;asinh;2$;23|> . #0#) (#<compiled-function |FLOAT;acosh;2$;24|> . #0#) (#<compiled-function |FLOAT;atanh;2$;25|> . #0#) (#<compiled-function |FLOAT;log2;$;28|> . #0#) (#<compiled-function |FLOAT;**;$I$;91|> . #0#) (1 . #167#) (1 1 . 1) (#<compiled-function |FLOAT;log10;$;29|> . #0#) (#<compiled-function |FLOAT;log2;2$;30|> . #0#) (#<compiled-function |FLOAT;log10;2$;31|> . #0#) (#<compiled-function |FLOAT;exp1;$;35|> . #0#) (1 1 . 1) (|newGoGet| #0# 115 . |elt|) (|newGoGet| #0# 120 . |setelt|) (#<compiled-function |FLOAT;precision;2Pi;40|> . #0#) (|newGoGet| #0# 126 . |max|) (#<compiled-function |FLOAT;digits;Pi;44|> . #0#) (#<compiled-function |FLOAT;digits;2Pi;45|> . #0#) (#<compiled-function |FLOAT;relerror;2$I;47|> . #0#) (#<compiled-function |FLOAT;base;Pi;50|> . #0#) (#<compiled-function |FLOAT;one?;$B;53|> . #0#) (|newGoGet| #0# 130 . |positive?|) (#<compiled-function |FLOAT;positive?;$B;56|> . #0#) (#<compiled-function |FLOAT;float;2I$;58|> . #0#) (#<compiled-function |FLOAT;float;2IPi$;59|> . #0#) (#<compiled-function |FLOAT;floor;2$;67|> . #0#) (#<compiled-function |FLOAT;truncate;2$;70|> . #0#) (#<compiled-function |FLOAT;ceiling;2$;65|> . #0#) (#<compiled-function |FLOAT;round;2$;68|> . #0#) (|Union| $ '"failed") (#<compiled-function |FLOAT;recip;$U;71|> . #0#) (#<compiled-function |FLOAT;differentiate;2$;72|> . #0#) (#<compiled-function |FLOAT;inv;2$;83|> . #0#) (#<compiled-function |FLOAT;**;3$;89|> . #0#) (|Fraction| 16) (|newGoGet| #0# 135 . |Zero|) (|newGoGet| #0# 139 . =) (|newGoGet| #0# 145 . <) (|newGoGet| #0# 151 . |One|) (|newGoGet| #0# 155 . |numer|) (|newGoGet| #0# 160 . |denom|) (#<compiled-function |FLOAT;**;$F$;90|> . #0#) #170=#((|Reference| #169#) (#<compiled-function |lookupComplete|> #170# #4#) NIL 1 (#(|SetCategory&| T |BasicType&| T) . #5#) NIL #168# #171=#((|Record| . #172=((|:| |value| #169#))) (#<compiled-function |lookupInTable|> #171# ((= (((|Boolean|) $ $) . 12)) (|coerce| ((#8# $) . 14)))) NIL (|RecordCategory| . #172#) (#9# #10#) (#168#) (#<compiled-function |RecordEqual|> . #171#) (#<compiled-function |RecordPrint|> . #171#) (#<compiled-function |Undef|> . #171#) (NIL)) #11# (#<compiled-function |REF;=;2$B;1|> . #170#) #173=(#<compiled-function |REF;ref;S$;2|> . #170#) (#<compiled-function |REF;elt;$S;3|> . #170#) (#<compiled-function |REF;setelt;$2S;4|> . #170#) (#<compiled-function |REF;deref;$S;5|> . #170#) (#<compiled-function |REF;setref;$2S;6|> . #170#) #13# #14# (|newGoGet| #170# . #15#) (|newGoGet| #170# . #16#) #17# (|newGoGet| #170# . #18#) (#<compiled-function |REF;coerce;$Of;7|> . #170#) #19#) #173# (10) #174=#((|Reference| #26#) (#<compiled-function |lookupComplete|> #174# #4#) NIL 1 (#(|SetCategory&| T |BasicType&| T) . #5#) NIL #25# #175=#((|Record| . #176=((|:| |value| #26#))) (#<compiled-function |lookupInTable|> #175# ((= (((|Boolean|) $ $) . 12)) (|coerce| ((#8# $) . 14)))) NIL (|RecordCategory| . #176#) (#9# #10#) (#25#) (#<compiled-function |RecordEqual|> . #175#) (#<compiled-function |RecordPrint|> . #175#) (#<compiled-function |Undef|> . #175#) (NIL)) #11# (#<compiled-function |REF;=;2$B;1|> . #174#) #177=(#<compiled-function |REF;ref;S$;2|> . #174#) (#<compiled-function |REF;elt;$S;3|> . #174#) (#<compiled-function |REF;setelt;$2S;4|> . #174#) (#<compiled-function |REF;deref;$S;5|> . #174#) (#<compiled-function |REF;setref;$2S;6|> . #174#) #13# #14# (|newGoGet| #174# . #15#) (|newGoGet| #174# . #16#) #17# (|newGoGet| #174# . #18#) (#<compiled-function |REF;coerce;$Of;7|> . #174#) #19#) #177# ("general") #178=#((|Reference| #22#) (#<compiled-function |lookupComplete|> #178# #4#) NIL 1 (#(|SetCategory&| T |BasicType&| T) . #5#) NIL #23# #179=#((|Record| . #180=((|:| |value| #22#))) (#<compiled-function |lookupInTable|> #179# ((= (((|Boolean|) $ $) . 12)) (|coerce| ((#8# $) . 14)))) NIL (|RecordCategory| . #180#) (#9# #10#) (#23#) (#<compiled-function |RecordEqual|> . #179#) (#<compiled-function |RecordPrint|> . #179#) (#<compiled-function |Undef|> . #179#) (NIL)) #11# (#<compiled-function |REF;=;2$B;1|> . #178#) #181=(#<compiled-function |REF;ref;S$;2|> . #178#) (#<compiled-function |REF;elt;$S;3|> . #178#) (#<compiled-function |REF;setelt;$2S;4|> . #178#) (#<compiled-function |REF;deref;$S;5|> . #178#) (#<compiled-function |REF;setref;$2S;6|> . #178#) #13# #14# (|newGoGet| #178# . #15#) (|newGoGet| #178# . #16#) #17# (|newGoGet| #178# . #18#) (#<compiled-function |REF;coerce;$Of;7|> . #178#) #19#) #181# (-1) (|newGoGet| #0# 180 . |elt|) (|Character|) (|newGoGet| #0# 185 . |space|) (|newGoGet| #0# 189 . |minIndex|) (|newGoGet| #0# 194 . |elt|) (|newGoGet| #0# 200 . |setelt|) (|newGoGet| #0# 207 . |maxIndex|) (|newGoGet| #0# 212 . |elt|) (|UniversalSegment| 16) (|newGoGet| #0# 217 . SEGMENT) (|newGoGet| #0# 223 . |elt|) (|newGoGet| #0# 229 . |char|) (|newGoGet| #0# 234 . |rightTrim|) (|List| $) (|newGoGet| #0# 240 . |concat|) (|newGoGet| #0# 245 . |setelt|) (#<compiled-function |FLOAT;outputSpacing;NniV;106|> . #0#) (|newGoGet| #0# 251 . |setelt|) (|newGoGet| #0# 257 . |setelt|) (#<compiled-function |FLOAT;outputFixed;V;107|> . #0#) (#<compiled-function |FLOAT;outputFixed;NniV;108|> . #0#) (#<compiled-function |FLOAT;outputGeneral;V;109|> . #0#) (#<compiled-function |FLOAT;outputGeneral;NniV;110|> . #0#) (#<compiled-function |FLOAT;outputFloating;V;111|> . #0#) (#<compiled-function |FLOAT;outputFloating;NniV;112|> . #0#) (|newGoGet| #0# 263 . |elt|) (#<compiled-function |FLOAT;convert;$S;113|> . #0#) (|OutputForm|) (#<compiled-function |FLOAT;coerce;$Of;114|> . #0#) (|newGoGet| #0# 268 . -) (|newGoGet| #0# 273 . |message|) (|Symbol|) (|newGoGet| #0# 278 . |coerce|) (|InputForm|) (|newGoGet| #0# 283 . |convert|) (|newGoGet| #0# 288 . |convert|) (|newGoGet| #0# 293 . |convert|) (#<compiled-function |FLOAT;convert;$If;115|> . #0#) (|Float|) (#<compiled-function |FLOAT;convert;$F;116|> . #0#) (|DoubleFloat|) (#<compiled-function |FLOAT;convert;$Df;117|> . #0#) (#<compiled-function |FLOAT;coerce;$Df;118|> . #0#) (|newGoGet| #0# 298 . |mantissa|) (|newGoGet| #0# 303 . |exponent|) (#<compiled-function |FLOAT;convert;Df$;119|> . #0#) (#<compiled-function |FLOAT;rationalApproximation;$2NniF;125|> . #0#) (#<compiled-function |FLOAT;retract;$F;120|> . #0#) (|Union| 118 '"failed") (#<compiled-function |FLOAT;retractIfCan;$U;121|> . #0#) (|newGoGet| #0# 308 . |coerce|) (#<compiled-function |FLOAT;retract;$I;122|> . #0#) (|Union| 16 '"failed") (#<compiled-function |FLOAT;retractIfCan;$U;123|> . #0#) (#<compiled-function |FLOAT;rationalApproximation;$NniF;124|> . #0#) (|newGoGet| #0# 313 . /) (|PatternMatchResult| 173 $) (|Pattern| 173) (|Factored| $) (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 194 '"failed") (|Union| 148 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) (|Record| (|:| |quotient| $) (|:| |remainder| $)) (|Record| (|:| |coef| 148) (|:| |generator| $)) (|SparseUnivariatePolynomial| $) (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $)) (|SingleInteger|)) is not a valid type. G:=tt(0)
 | (4) |
Type: Domain
axiomg:G:=3 #0=#((|Integer|) (#<compiled-function |lookupComplete|> #0# #(~= 131 |zero?| 137 |unitNormal| 142 |unitCanonical| 147 |unit?| 152 |symmetricRemainder| 157 |subtractIfCan| 163 |submod| 169 |squareFreePart| 176 |squareFree| 181 |sizeLess?| 186 |sign| 192 |shift| 197 |sample| 203 |retractIfCan| 207 |retract| 212 |rem| 217 |reducedSystem| 223 |recip| 234 |rationalIfCan| 239 |rational?| 244 |rational| 249 |random| 254 |quo| 263 |principalIdeal| 269 |prime?| 274 |powmod| 279 |positiveRemainder| 286 |positive?| 292 |permutation| 297 |patternMatch| 303 |one?| 310 |odd?| 315 |nextItem| 320 |negative?| 325 |multiEuclidean| 330 |mulmod| 336 |min| 343 |max| 349 |mask| 355 |length| 360 |lcm| 365 |latex| 376 |invmod| 381 |init| 387 |inc| 391 |hash| 396 |gcdPolynomial| 406 |gcd| 412 |factorial| 423 |factor| 428 |extendedEuclidean| 433 |exquo| 446 |expressIdealMember| 452 |even?| 458 |euclideanSize| 463 |divide| 468 |differentiate| 474 |dec| 485 |copy| 490 |convert| 495 |coerce| 525 |characteristic| 545 |bit?| 549 |binomial| 555 |base| 561 |associates?| 565 |addmod| 571 |abs| 578 ^ 583 |Zero| 595 |One| 599 |OMwrite| 603 D 627 >= 638 > 644 = 650 <= 656 < 662 - 668 + 679 ** 685 * 697)) ((|infinite| . 0) (|noetherian| . 0) (|canonicalsClosed| . 0) (|canonical| . 0) (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0) (|noZeroDivisors| . 0) ((|commutative| "*") . 0) (|rightUnitary| . 0) (|leftUnitary| . 0) (|unitsKnown| . 0)) 0 (#(|IntegerNumberSystem&| |EuclideanDomain&| |UniqueFactorizationDomain&| T T |GcdDomain&| |IntegralDomain&| |Algebra&| T T |DifferentialRing&| |OrderedRing&| T T |Module&| T T |Ring&| T T T T T |AbelianGroup&| T T |AbelianMonoid&| |Monoid&| T T |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| T |SetCategory&| T T T T T T T |RetractableTo&| T |BasicType&| T) #((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) (|PrincipalIdealDomain|) (|OrderedIntegralDomain|) (|GcdDomain|) (|IntegralDomain|) (|Algebra| $$) (|CharacteristicZero|) (|LinearlyExplicitRingOver| 11) (|DifferentialRing|) (|OrderedRing|) (|CommutativeRing|) (|EntireRing|) (|Module| $$) (|OrderedAbelianGroup|) (|BiModule| $$ $$) (|Ring|) (|OrderedCancellationAbelianMonoid|) (|LeftModule| $$) (|Rng|) (|RightModule| $$) (|OrderedAbelianMonoid|) (|AbelianGroup|) (|OrderedAbelianSemiGroup|) (|CancellationAbelianMonoid|) (|AbelianMonoid|) (|Monoid|) (|StepThrough|) (|PatternMatchable| 11) (|OrderedSet|) (|AbelianSemiGroup|) (|SemiGroup|) (|RealConstant|) (|SetCategory|) (|OpenMath|) (|ConvertibleTo| 9) (|ConvertibleTo| 44) (|ConvertibleTo| 47) (|CombinatorialFunctionCategory|) (|ConvertibleTo| 121) (|ConvertibleTo| 49) (|RetractableTo| 11) (|ConvertibleTo| 11) (|BasicType|) (|CoercibleTo| 35)) . #(1 7 6 0 8 3 7 6 0 9 9 10 2 7 6 0 11 12 1 7 6 0 13 0 14 0 15 2 7 0 9 14 16 1 7 6 0 17 1 7 6 0 18 1 7 6 0 19 1 35 0 11 36 1 44 0 11 45 1 49 0 11 50 2 91 88 89 90 92 1 95 93 94 96 1 94 0 0 97 1 94 2 0 98 1 99 93 94 100 1 94 0 2 101 1 0 102 0 103 2 106 93 104 105 107 2 108 93 93 93 109 1 99 93 94 110 1 94 21 0 111 1 94 0 0 112 1 114 94 113 115 2 0 21 0 0 1 1 0 21 0 25 1 0 85 0 86 1 0 0 0 87 1 0 21 0 1 2 0 0 0 0 1 2 0 81 0 0 1 3 0 0 0 0 0 42 1 0 0 0 1 1 0 102 0 1 2 0 21 0 0 1 1 0 11 0 1 2 0 0 0 0 80 0 0 0 1 1 0 122 0 1 1 0 11 0 1 2 0 0 0 0 79 2 0 58 56 59 60 1 0 55 56 57 1 0 81 0 83 1 0 118 0 1 1 0 21 0 1 1 0 119 0 1 1 0 0 0 63 0 0 0 62 2 0 0 0 0 78 1 0 125 124 1 1 0 21 0 1 3 0 0 0 0 0 1 2 0 0 0 0 54 1 0 21 0 1 2 0 0 0 0 1 3 0 120 0 121 120 1 1 0 21 0 26 1 0 21 0 73 1 0 81 0 1 1 0 21 0 34 2 0 123 124 0 1 3 0 0 0 0 0 43 2 0 0 0 0 75 2 0 0 0 0 74 1 0 0 0 1 1 0 0 0 40 1 0 0 124 1 2 0 0 0 0 1 1 0 9 0 53 2 0 0 0 0 1 0 0 0 1 1 0 0 0 31 1 0 0 0 33 1 0 130 0 1 2 0 116 116 116 117 2 0 0 0 0 84 1 0 0 124 1 1 0 0 0 1 1 0 102 0 103 3 0 127 0 0 0 1 2 0 128 0 0 1 2 0 81 0 0 82 2 0 123 124 0 1 1 0 21 0 1 1 0 71 0 1 2 0 76 0 0 77 1 0 0 0 1 2 0 0 0 71 1 1 0 0 0 32 1 0 0 0 30 1 0 9 0 52 1 0 47 0 48 1 0 44 0 46 1 0 49 0 51 1 0 121 0 1 1 0 11 0 39 1 0 0 11 38 1 0 0 11 38 1 0 0 0 1 1 0 35 0 37 0 0 71 1 2 0 21 0 0 1 2 0 0 0 0 1 0 0 0 29 2 0 21 0 0 1 3 0 0 0 0 0 41 1 0 0 0 61 2 0 0 0 71 1 2 0 0 0 129 1 0 0 0 27 0 0 0 28 3 0 6 7 0 21 24 2 0 9 0 21 22 2 0 6 7 0 23 1 0 9 0 20 1 0 0 0 1 2 0 0 0 71 1 2 0 21 0 0 1 2 0 21 0 0 1 2 0 21 0 0 64 2 0 21 0 0 1 2 0 21 0 0 65 2 0 0 0 0 68 1 0 0 0 66 2 0 0 0 0 67 2 0 0 0 71 72 2 0 0 0 129 1 2 0 0 0 0 69 2 0 0 11 0 70 2 0 0 71 0 1 2 0 0 129 0 1)) NIL (|Void|) (|OpenMathDevice|) (|newGoGet| #0# 0 . |OMputApp|) (|String|) (|newGoGet| #0# 5 . |OMputSymbol|) (|Integer|) (|newGoGet| #0# 12 . |OMputInteger|) (|newGoGet| #0# 18 . |OMputEndApp|) (|OpenMathEncoding|) (|newGoGet| #0# 23 . |OMencodingXML|) (|newGoGet| #0# 27 . |OMopenString|) (|newGoGet| #0# 33 . |OMputObject|) (|newGoGet| #0# 38 . |OMputEndObject|) (|newGoGet| #0# 43 . |OMclose|) (#<compiled-function |INT;OMwrite;$S;2|> . #0#) (|Boolean|) (#<compiled-function |INT;OMwrite;$BS;3|> . #0#) (#<compiled-function |INT;OMwrite;Omd$V;4|> . #0#) (#<compiled-function |INT;OMwrite;Omd$BV;5|> . #0#) (#<compiled-function |INT;zero?;$B;6|> . #0#) (#<compiled-function |INT;one?;$B;7|> . #0#) (|makeSpadConstant| #<compiled-function |INT;Zero;$;8|> #0# 27) (|makeSpadConstant| #<compiled-function |INT;One;$;9|> #0# 28) (#<compiled-function |INT;base;$;10|> . #0#) (#<compiled-function |INT;copy;2$;11|> . #0#) (#<compiled-function |INT;inc;2$;12|> . #0#) (#<compiled-function |INT;dec;2$;13|> . #0#) (#<compiled-function |INT;hash;2$;14|> . #0#) (#<compiled-function |INT;negative?;$B;15|> . #0#) (|OutputForm|) (|newGoGet| #0# 48 . |outputForm|) (#<compiled-function |INT;coerce;$Of;16|> . #0#) (#<compiled-function |INT;coerce;I$;17|> . #0#) (#<compiled-function |INT;convert;$I;18|> . #0#) (#<compiled-function |INT;length;2$;19|> . #0#) (#<compiled-function |INT;addmod;4$;20|> . #0#) (#<compiled-function |INT;submod;4$;21|> . #0#) (#<compiled-function |INT;mulmod;4$;22|> . #0#) (|Float|) (|newGoGet| #0# 53 . |coerce|) (#<compiled-function |INT;convert;$F;23|> . #0#) (|DoubleFloat|) (#<compiled-function |INT;convert;$Df;24|> . #0#) (|InputForm|) (|newGoGet| #0# 58 . |convert|) (#<compiled-function |INT;convert;$If;25|> . #0#) (#<compiled-function |INT;convert;$S;26|> . #0#) (#<compiled-function |INT;latex;$S;27|> . #0#) (#<compiled-function |INT;positiveRemainder;3$;28|> . #0#) (|Matrix| 11) (|Matrix| $) (#<compiled-function |INT;reducedSystem;MM;29|> . #0#) (|Record| (|:| |mat| 55) (|:| |vec| (|Vector| 11))) (|Vector| $) (#<compiled-function |INT;reducedSystem;MVR;30|> . #0#) (#<compiled-function |INT;abs;2$;31|> . #0#) (#<compiled-function |INT;random;$;32|> . #0#) (#<compiled-function |INT;random;2$;33|> . #0#) (#<compiled-function |INT;=;2$B;34|> . #0#) (#<compiled-function |INT;<;2$B;35|> . #0#) (#<compiled-function |INT;-;2$;36|> . #0#) (#<compiled-function |INT;+;3$;37|> . #0#) (#<compiled-function |INT;-;3$;38|> . #0#) #1=(#<compiled-function |INT;*;I2$;40|> . #0#) #1# (|NonNegativeInteger|) (#<compiled-function |INT;**;$Nni$;41|> . #0#) (#<compiled-function |INT;odd?;$B;42|> . #0#) (#<compiled-function |INT;max;3$;43|> . #0#) (#<compiled-function |INT;min;3$;44|> . #0#) (|Record| (|:| |quotient| $) (|:| |remainder| $)) (#<compiled-function |INT;divide;2$R;45|> . #0#) (#<compiled-function |INT;quo;3$;46|> . #0#) (#<compiled-function |INT;rem;3$;47|> . #0#) (#<compiled-function |INT;shift;3$;48|> . #0#) (|Union| $ '"failed") (#<compiled-function |INT;exquo;2$U;49|> . #0#) (#<compiled-function |INT;recip;$U;50|> . #0#) (#<compiled-function |INT;gcd;3$;51|> . #0#) (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $)) (#<compiled-function |INT;unitNormal;$R;52|> . #0#) (#<compiled-function |INT;unitCanonical;2$;53|> . #0#) (|Union| 89 '"failed") (|List| 90) (|SparseUnivariatePolynomial| 11) (|IntegerSolveLinearPolynomialEquation|) (|newGoGet| #0# 63 . |solveLinearPolynomialEquation|) (|Factored| 94) (|SparseUnivariatePolynomial| $$) (|UnivariatePolynomialSquareFree| $$ 94) (|newGoGet| #0# 69 . |squareFree|) (|newGoGet| #0# 74 . |primitivePart|) (|newGoGet| #0# 79 . |leadingCoefficient|) (|GaloisGroupFactorizer| 94) (|newGoGet| #0# 84 . |factor|) (|newGoGet| #0# 89 . |coerce|) (|Factored| $) (|newGoGet| #0# 94 . |factor|) (|Mapping| 94 $$) (|Factored| $$) (|FactoredFunctions2| $$ 94) (|newGoGet| #0# 99 . |map|) (|FactoredFunctionUtilities| 94) (|newGoGet| #0# 105 . |mergeFactors|) (|newGoGet| #0# 111 . |factorSquareFree|) (|newGoGet| #0# 116 . |zero?|) (|newGoGet| #0# 121 . |unitCanonical|) (|List| 94) (|HeuGcd| 94) (|newGoGet| #0# 126 . |gcd|) (|SparseUnivariatePolynomial| $) (#<compiled-function |INT;gcdPolynomial;3Sup;58|> . #0#) (|Union| 119 '"failed") (|Fraction| 11) (|PatternMatchResult| 11 $) (|Pattern| 11) (|Union| 11 '"failed") (|Union| 124 '"failed") (|List| $) (|Record| (|:| |coef| 124) (|:| |generator| $)) (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 126 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) (|PositiveInteger|) (|SingleInteger|)) is not a valid type.
Same function in SPAD:
spad)abbrev package TT testtype testtype(): exports == implementation where exports == with tt1: (Integer) -> Type implementation == add tt1(x) == x=0 => Integer Float
spad
Compiling OpenAxiom source code from file
/var/zope2/var/LatexWiki/8965653050310018446-25px001.spad using
old system compiler.
TT abbreviates package testtype
------------------------------------------------------------------------
initializing NRLIB TT for testtype
compiling into NRLIB TT
compiling exported tt1 : Integer -> Type
Time: 0 SEC.
(time taken in buildFunctor: 0)
;;; *** |testtype| REDEFINED
;;; *** |testtype| REDEFINED
Time: 0 SEC.
Cumulative Statistics for Constructor testtype
Time: 0 seconds
finalizing NRLIB TT
Processing testtype for Browser database:
--->-->testtype((tt1 ((Type) (Integer)))): Not documented!!!!
--->-->testtype(constructor): Not documented!!!!
--->-->testtype(): Missing Description
------------------------------------------------------------------------
testtype is now explicitly exposed in frame initial
testtype will be automatically loaded when needed from
/var/zope2/var/LatexWiki/TT.NRLIB/codeCalling the function like this now works::
axiomFF:=tt1(1) You have used the abbreviation FF of the constructor FiniteField on the left-hand side of an assignment expression. This is not allowed.
But can we use it?
axiomf:FF:=1.2 Although FiniteField is the name of a constructor, a full type must be specified in the context you have used it. Issue )show FiniteField for more information.