Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

build open-axiom

54437 views
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script
# FASL
  compiled from "/tmp/oa-RrtXKX/code.lsp"
  using SBCL version 1.2.14.debian
�X86-64N
1.2.14.debian2(:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)�SB-C�	%PROCLAIMPFTYPEPFUNCTION�	AxiomCore�%Thing�%Shell	�%Boolean	�BOOT�

AN;zero?;$B;1	##�/tmp/oa-RrtXKX/code.lsp	o	0	8	�
AN;one?;$B;2	##
0	8		�

AN;=;2$B;3	##
0	8�SB-IMPL�%DEFUN>#"�#LTSTANDARDTMINIMAL##`#$"#$"�\	TEXTERNAL�TL-XEP	q	0
	#l"�"�#u##$"�#$"
\	 0
	\	s	0		��1�EH���rH�e�H�ύA��b�y���XH��H�U�H�}�I�L$`H�M�H�E�H�H�H�U�H9��/H�M�H�D�H�E�H�M��A���H��H�P�H��H�l$H�l$��%X H�U�H�E�H�H�H�U�H9���H�M�H�\�H�]ЍC����H��H�P�H��H�l$H�l$��%X H��H�]�H�SH�\$�H���H�+H���P�HB�H��H�E�H�pH�\$�H��H�U�H�EعH�+H���P�rH��R�� H��H��H)�H��H�S�H�{�H�s�H��H��u
H�V�H���]ø����
*��
���
/��
���
/��TABSOLUTE�RETURN-MULTIPLE��*�
a�
$	P
SIMPLE-VECTOR	PVALUESP	&OPTIONALPMEMBER	P&REST		PCDR##	PFUNCALL###	7:PCAR:�	SB-KERNEL�<%COERCE-CALLABLE-TO-FUN:�<DATA-VECTOR-REF:PLENGTH:�<%CHECK-BOUND:�<DATA-VECTOR-REF-WITH-OFFSET:98PSVREF:;8=8>###	?C@CACBC\$	�
SPADCALL:�
spadConstant:�

shellEntryCE8\	\	�J##
0	8>L#"�#L##`#$"#$"�\		 0
	#l"�"�#u##$"�#$"
\	 0
	\	%0		��1�EH���rH�e�H�ύA��b�y���XH��H�U�H�}�I�L$`H�M�H�E�H�H�H�U�H9��/H�M�H�D�H�E�H�M��A���H��H�P�H��H�l$H�l$��%X H�U�H�E�H�H�H�U�H9���H�M�H�\�H�]ЍC����H��H�P�H��H�l$H�l$��%X H��H�]�H�SH�\$�H���H�+H���P�HB�H��H�E�H�pH�\$�H��H�U�H�EعH�+H���P�rH��R�� H��H��H)�H��H�S�H�{�H�s�H��H��u
H�V�H���]ø����
*��
���
/��
���
/��()��T-67##	9###	7V;V=V>V?V@VAV9UBV;U=U>###	?W@WAWBW\$	EVFVGWEU\	\	�[##
0	8>]#"@#L##`#$"#$"�#$"�\		 0
	#p"�"G#y##$"�#$"
#$"M\	 0
	\	%0		�u1�EH����H�e�H�΍A����y����H��H�U�H�}�H�u�I�L$`H�M�H�E�H�H�H�U�H9���H�M�H�D�H�E�H�M؍A����H��H�P�H��H�l$H�l$��%X H�U�H�E�H�H�H�U�H9��gH�M�H�\�H�]ȍC���XH��H�P�H��H�l$H�l$��%X H��H�]�H�sH�\$�H��H�U�H�}�H�+H���P�HB�H�U�H�E�H�H�H�U�H9���H�M�H�\�H�]��C����H��H�P�H��H�l$H�l$��%X H��H�]�H�SH�\$�H���H�+H���P�HB�H��H�E�H�pH�\$�H��H�U�H�EйH�+H���P�rH��R�� H��H��H)�H��H�S�H�{�H�s�H��H��u
H�V�H���]ø����
*��
���
/��
���
/���
���
/��()�:e+�
b,	.	5	7##	9###	7k;k=k>k?k@kAk9###	7l;l=l>####	?m@mAm9jBmBk;j=j>###	?n@nAnBn\6	GmElEkFkGnEj\	\	�r##
0	8�
AlgebraicNumber>u�
$ConstructorCachet�GETHASH3<�
AlgebraicNumber;<�<%PUTHASH<�
CDRwithIncrement<PREMHASH<#"�#H##`\	t	 0
	#H"�"�#Q#\	t 0
	"&"�"�"/+�	#\	TCLEANUPPFLET`CLEANUP-FUN-25TINt	 0
	\	%0	�̉	��1�EH���KH�e�I�L$`H�M�H�h����x�I�<<��aHDx���Q�!H�\$�H��H�H���� H�D����H�+H���P	H�U�H�M�H�� ��I�D$`H�E�I�D$HH�E�H�e�H�M�I�D$PH�H�iH��H�AH�E�I�D$PH������x�I�<<��aHDx���Q��H�}�H�T$�H��H�����1�H�*H���P	HB�H�}�I�l$@M�\$I�KI;L$ �SI�L$I�KI1l$@t�	H�A�H�QI�l$@M�\$I�SI;T$ �.I�T$I�SI1l$@t�	H�B� H�JI�l$@M�\$I�KI;L$ �	I�L$I�KI1l$@t�	H�Q�H�A H�\$�H��H�����H��H������H�+H���P	H�J��A����H�I�A����H�YH�]�H�E�O I�D$PH�I�D$PH��H�D$�H��H��H�H����H�]�H��H���]�H�M�A���kH�I��A���aH�QH�^�����u�`	L��L�E�H��H�}�H��H�u�H�E�I�D$HL�M�I�T$`I9�t'1�H��H�BH��tH�
I�H�ZH�I9�u�I�T$`H��H�D$�H��H��H�H���L�E�H�}�H�u�I��H��H��A�A��EI�T$`H�U�H�I�H�� t
� H��H��]�H�p����x�I�<<��aHDx���Q�}H�\$�H��H�P���H�q����H�+H���P	���
�
j���Y������j���Z�������j���Y��������
/��
/��
/��
/��
(�alloc_tramp�(�alloc_tramp�(�alloc_tramp�(�UNWIND��tP*	PSYMBOL-VALUE########	z�PNOT########	x########	PLIST#########!		w############!	PCONS###########!	�##########!
	��PCDDAR#######	��;�7��%CLEANUP-POINT#####	�%UNWIND-PROTECT��%ALLOCATE-CLOSURES�PCDAR######	;�7�y#####	PGETHASH#####	��v��%CONTINUE-UNWIND��%UNKNOWN-VALUES�\2	u��#######	u�u�\
	�tableRemove!�PCOND######	PSETF�PPROG1######	PMULTIPLE-VALUE-BIND��###	�
tableValue�\	\	��##
0	8w>��
newShell<�
buildPredVector<t	ut�
haddProp<�
stuffDomainSlots<�
Ring	�
HasCategory<�
augmentPredVector<�

RetractableTo�
Integer		#"�#H##`\	w	 0
	#H"�"�#Q#\	w 0
	\	w%0		��1�EH���EH�e�I�L$`H�M�H�\$�H���|H�:����H�+H���P	HB�H�U�H�\$�H��1�1�� H�����H�+H���P	HB�H�]�C����{����H�E�H�H�H�u�1�H9���H�
����H�L�H��H�E�H�H�H�]�H9���H�M�H�T�H������P�I���aHDP���Q�|I�l$@M�\$I�KI;L$ �hI�L$I�KI1l$@t�	H�A�H�]�H�YH�\$�H�� H�=M���� H�K�H�E����H�+H���P	HB�H�\$�H��H�U�H�'����H�+H���P	HB�H�\$�H��H�U�H�=	���H�
����H�+H���P	HB�H�� t+H�\$�H��H�U�H������H�+H���P	HB�H�\$�H��H�U�H�=����H������H�+H���P	HB�H�� u
H�U�H���]�H�\$�H��H�U�H�s����H�+H���P	HB�����
*���
���
����
j���Y������(�alloc_tramp��w0.1		�#####	�#####	�#####	�#####	�####	�#####	�####	���<DATA-VECTOR-SET####	?�@��<DATA-VECTOR-SET-WITH-OFFSET��####	?�@����<%SVSET����#####	�#####	\(	u�\	PAND####	�����####	\	\	��##
0	8�
MAKEPROPt�
infovec��
InnerAlgebraicNumber	#�
Zero	�
Boolean	#�
	trueEqual	#
�
One	#P-	�
SparseUnivariatePolynomial,	�
Kernel,	�
List#	��
SparseMultivariatePolynomial##	�
NonNegativeInteger	�
Float	�
Complex#	�
Fraction#	�
Matrix#	�
Vector#	�
Record�
:�
mat#		�
vec#		,	,	�
DoubleFloat	#	#		
#		#		�
Union#PQUOTE�failed			#	�
PositiveInteger	�
Maybe,	,		�
unit,		�
	canonical,		�
	associate,		�,		�
coef#&		�
	generator,		 #&		�
quotient,		�
	remainder,			�
coef1,		�
coef2,	.	79	#+	�
Factored,	#&	�

Polynomial,	�
Symbol	�

BasicOperator	�
Mapping,,	F,#&	�#1	�#2	�#3	�#0	#	�
Equation,	�#9	�
String	�

OutputForm	�

SingleInteger	\>	�
~=#�
zerosOf#�
zeroOf#*�
zero?#:�

unitNormal#?�

unitCanonical#D�
unit?#I�
tower#N�

subtractIfCan#S�
subst#Y�
squareFreePart#l�

squareFree#q�
sqrt#v�
	sizeLess?#{�
sample"��
rootsOf"��
rootOf"��
retractIfCan"��
retract"��
rem"��

reducedSystem"��
reduce"��
recip"��
quo"��
principalIdeal"��
prime?"��
paren"��
	opposite?"�
	operators"	�
operator"�
one?"�
odd?"�
numer"�
nthRoot""�
norm"(�
multiEuclidean"@�
minPoly"F�
map"K�

mainKernel"Q�
leftReducedSystem"V�
lcm"l�
latex"w�
kernels"|�
kernel"��
is?"��
inv"��
height"��
hash"��

gcdPolynomial"��
gcd"��
freeOf?"��
factor"��
extendedEuclidean"��
exquo"��
expressIdealMember"��
even?"��
eval"��

euclideanSize"H�
elt"M�
divide"q�

distribute"w�

differentiate"��
denom"��
definingPolynomial"��
convert"��
coerce"��
characteristic"��
box"��
belong?"��
before?"��
associates?"��
annihilate?"��"��"��
D"�P="�P/"�"P+"P**"�"1\�	�
canonicalUnitNormal#	�
noZeroDivisors#	�
commutative�*		#		��
makeByteWordVec2#################################################################!@	7��
AlgebraicallyClosedField&�
Field&�
EuclideanDomain&�
UniqueFactorizationDomain&�

GcdDomain&�

DivisionRing&�
IntegralDomain&�
Algebra&��
Module&�
EntireRing&��
Ring&�
Rng&�

AbelianGroup&�
Monoid&�
AbelianMonoid&�
ExpressionSpace&�

SemiGroup&�
AbelianSemiGroup&�
DifferentialSpace&�
SetCategory&�
DifferentialDomain&�
RetractableTo&��

BasicType&�
	Evalable&��
RadicalCategory&�
InnerEvalable&�\@	��
AlgebraicallyClosedField	�
Field	�
EuclideanDomain	�
UniqueFactorizationDomain	�
PrincipalIdealDomain	�
	GcdDomain	�
DivisionRing	�
IntegralDomain	�
Algebra#	��
$$	�
DifferentialRing	�
CharacteristicZero	�
Module#	�

EntireRing	��	�
CommutativeRing	�
LinearlyExplicitRingOver#	�#	�
BiModule##	���	��

LeftModule#	�
RightModule#	�#	��	��	�
Rng	�
AbelianGroup	�
SemiRing	�
CancellationAbelianMonoid	�
	LinearSet#	�
Monoid	�	�

AbelianMonoid	�
ExpressionSpace	�

LeftLinearSet#	�
RightLinearSet#		#	�
	SemiGroup	�		�	�
AbelianSemiGroup	�
DifferentialSpace	�
SetCategory	�
DifferentialDomain�	�
RealConstant	�#	�#	�
	BasicType	�
Evalable�	���		�

CoercibleFrom�#"		�

ConvertibleTo#	'#	'#	$#	$#	�
RadicalCategory	$�	�
Type	�

InnerEvalable��	2"�	$"	�
CoercibleTo#<	\@	�#=##############
###############&#####&#/####&##0##########/######0######	###%##############################&######:######9#########-####################&#/####&##0####&###########/######0#### #####!#####8#####################################################$###########'#&##########&###############4#####1#1#################################################.#&###########2#####8############################&##########;###########1#&#####1#######0######1##############=############&############0##########-#####*######,#######$######(#&############1#2######1#3######4#5######4#6######0#3######0#2######7#6######7#5#############&#&######9#######&######:#################1#&#####1########1#########1######1######)##############################################################################<##########&##########1###########################
#################
############################"#######################"################################!���X	7777�
lookupComplete78PGETt�
DATABASE7�������������!")*/05:;<>?ACEGHIJKLMOPRTV\>	9PFDEFINITION��
DATABASE-TEMPLATE	7?=8;t<7:9@��
DATABASE-LOOKUP-FUNCTION	7DC8;t<7�9@��
DATABASE-CONSTRUCTORFORM	7HG8;t<7�
domain9@��
DATABASE-CONSTRUCTORKIND	7MK8;t<7��
Join����		��	�R	�'�		�$���		�
CATEGORYL�
	SIGNATURExX,		[�\	[m,,		[z���		[z����			[z,,�		[z,,c		!		!
		t		9@��
DATABASE-CONSTRUCTORMODEMAP	7oP8;t<7	9@��
DATABASE-COSIG	7tr8;t<7�
constant.spad	9@��
DATABASE-SOURCEFILE	7yw8;t<7x�
*1�
*2}	��
isDomain~����			�}�			��	m}}}	�	z}~~�
*3	��~��		���	�		z�������		�		z}}}~	��~�	�		z���~�	�			9@��
DATABASE-MODEMAPS	7�|8;t<7X�,,	PELT		Y*�C	�	*�	�	*A	�		Z,�C	�	,�	�	,A	�		[�,	#	�		\),	�		]_�		^��		_c,	�		`!,,	�		a,,O	�	,,�O		�	,,c*	�		b�	c>,	�		d�	e�	f,	�
CONST		g���	h���	i�	,	�	�		�	R		�		j�,	�	�	�	R	�		k,,,	�		l	
�			�				�	�	�		
R			R				�	�	�		m�	n,	,	�		o�	p	+*	.	*	�		q�	r�,*	�		s�	t�E	,	�		uEE	�		v�#�		w��
has,�	�		x\�		y,,�	�		za�	d�	f�	h�		{*	*,	�		|��	,�	�		},G�	�		~�	�,	�	�	�	�	�	�	�		��	�R,	�		��	�,E,	�	,E*	�		��,E	�	�,C	�		��	��,	�		�V,	�		����	�		��	��G	��	�;	,,,	�	:,,	�		��,,	�		� *	*,	�		�	�,,�,	�	���,,,,	�	,,**	�	,,�C	�G		�	,,�F,*			�	,,C	�	,,CG	�	,,	�	,,	�	,,E	�	,,EG	�	!	�K	�@,E,,	�	,E,,,	�	,E,,,,	�	B	�5,,	�		���	��,,�	�		�	�_*�		��,	�		�	V	�		�T,	�	,�	�	,R	�	�,�	�	,X	�		��	�		��	��E	�		��	��	��	�#�		��#
�		���	�#
�		��	���	��	�,,R	�	�,,	�		�,R,	�	��,�	�	,�,	�	,,	�		!Q	��ɾ�Ȳ�ȭ��ɕ��ɓn�zo�x�xk�v�vn�rj�p3��71��5��������������������������������9@��
DATABASE-OPERATIONALIST	7��8;t<7X#Y#Z#*[#:\#?]#D^#I_#N`#Sa#Yb#lc#qd#ve#{f"�g"�h"�i"�j"�k"�l"�m"�n"�o"�p"�q"�r"�s"t"	u"v"w"x"y""z"({"@|"F}"K~"Q"V�"l�"w�"|�"��"��"��"��"��"��"��"��"��"��"��"��"��"��"H�"M�"q�"w�"��"��"��"��"��"��"��"��"��"��"��"��"��"��"��"�"�"�"�"1\�	9@��
DATABASE-OPTABLE	7��8;t<7�	�	�		9@��
DATABASE-CAPSULE-DEFINITIONS	7��8;t<7�	�	�		9@��
DATABASE-ATTRIBUTES	7��8;t<7�,�		�,�			9@��
DATABASE-PREDICATES	7��8;t<7�
AN9@��
DATABASE-ABBREVIATION	7��8;t<7	�	�	S	T		U	�	W	�	Y	!	9@��
DATABASE-PARENTS	7��8;t<7�			�R		�,		�	�RR		�,,		�	��$R		$,		$�		$�		6T		�	�'�		'		,		�	�	�	�	 ,		��	�	2,,		2�,		�		R			,			�		��		�R		�,		R		,		���R		�,			�	.	�����		R		,		�R		�,		�	�		�		1	�	!@	9@��
DATABASE-ANCESTORS	7Q�8"�bZ�+�L��I�/�~X+�0U1�128P8�8:>�^�c�dKe�e1f�h	#"�bZ�
t	0		W��W̊W�dW�SW�'?>X@