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-TFRuqh/code.lsp"
  using SBCL version 1.2.14.debian
�X86-64N
1.2.14.debian2(:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)�SB-IMPL�
%DEFPARAMETER�BOOT�AbelianMonoidRing;AL##�/tmp/oa-TFRuqh/code.lsp	o	0	8�%DEFUN�AbelianMonoidRing;>	�	devaluate<�t#1�t#2	�pairList<�AbelianMonoidRing�DATABASE�GET3<l	m	\	###-	�Ring<
�BiModule<�
Functorial<�domain�leadingCoefficient
�$			�leadingMonomial			�degree			�	monomial?�Boolean				�monomial
			�reductum		�coefficient
			P/
		�has
�Field				�CommutativeRing	:
A		�Algebra
	B	�CharacteristicZero	:
H		�CharacteristicNonZero	:
L		�IntegralDomain	:
P		D�Fraction�Integer			:
W			(	�
mkCategory<�Join<�sublisV<#"#ITSTANDARDTMINIMAL##`#$"#$"�\	TEXTERNAL�SB-C�cTL-XEP	q	0
	#Q"�"#Z_`##$"M#$"�\	f0
	\	s	0		�F1�EH����H�e�H�U�H�}�I�L$`H�M�H�\$�H��H�U�H�����H�+H���P	HB�H��H�u�H�\$�H��H�U�H������H�+H���P	HB�H�u�H��I�l$@M�\$I�{ I;|$ �DI�|$I�{H��H�X�H��H�@�H�P�H�@ I1l$@t�	H�\$�H��H�n���H�o����H�+H���P	HB�H�U�H�\$�H��H�Q���H�=R���� H�N����H�+H���P	H�U�H�MЍA����H�E�H�HH;
&����fH�E�H���H�� �FH�T$�H��H����1�H�*H���P	HB�H�U�H�\$�H��H�����H�=����H������H�+H���P	HB�H�U�H�\$�H��H�����H������H�+H���P	HB�L��L�E�H�\$�H��(H�����H�=����H�5����H�����H�C�H�C� H������
H�+H���P	HB�L�E�H��H�\$�H�� H�U�H�}�I��H�K�H�a����H�+H���P	HB�H��H�E�H���H�\$�H��H�U�H�5����H�+H���P	HB�L��L�E�A�@��<A�x���1I��H�E�I�H�1�H9��"H�E�H�\$�H��H�U�H�O����H�+H���P	HB�L�E�H��H�u�H�\$�H��H�U�H�����H�+H���P	HB�L�E�H�u�H��H�=���I�l$@M�\$I�S0I;T$ ��I�T$I�SH��H�x�H��H�@�H�p�H��H�@�H�X�H�@ I1l$@t�	H�E�H�M�H�T�I��H���]�H�������H�Q-H��~H�A%H�HH;
�����{����
	����j ���_@�������
*��
��j0���Z���R���TABSOLUTE�alloc_tramp7n�alloc_trampoPFUNCTION	PVALUESP
SIMPLE-VECTORP	&OPTIONAL		�	SB-KERNEL�wDATA-VECTOR-SET####		######		######	PLIST#####	PLENGTHy�w%CHECK-BOUNDy�wDATA-VECTOR-SET-WITH-OFFSETy�w%SVSETy�w
%INSTANCE-SET#########!		PFUNCALL�PSETF�DATABASE-TEMPLATE	�\###########!	###########!	###########!	###########!	]##########!
	�#########!		�w
%INSTANCE-REF�PGET#########!		�	########		########	|#######	
######	^#####	\2	�y���
dbTemplate�PCOND#######	�
constructorDB�\
	\	��##0	8>��assoc<<�cons5<#"�#I_`##`#$"#$"�\	bd	f0
	#Q"�"�#Z_`##$"�#$"
\	f0
	\	k0		�81�EH����H�e�H�U�H�}�I�L$`H�M�H�]�H�}�I�l$@M�\$I�S I;T$ ��I�T$I�SH��H�X�H��H�@�H�x�H�@ I1l$@t�	H�U�H�U�H�)����x�I�<<��aHDx���Q�?H�\$�H��H�	����H�+H���P	HB�H��H�� t�F���H�VH���]�H�\$�H��H�U�H�}�H������H�+H���P	HB�H��F����~����I�l$@M�\$I�KI;L$ ��I�L$I�KI1l$@t�	H�U�H�Q�H�qH�N����x�I�<<��aHDx���Q��H�\$�H��H��H�u�H�7����H�+H���P	HB�H�u�H�
����A�I�D�x�aHD�H�P�H�������j ���Z���v����
�
/��
*�j���Y���C����
n�alloc_tramp$n�alloc_tramp��pqrt		PSYMBOL-VALUE#######	PCONS########	��#######	PCDR#####	�#####	��|#####	\	######	\	��\	�###	\	\	��##0	8�7�AbelianMonoidRing&�PFDEFINITION��DATABASE-LOOKUP-FUNCTION	7��8�7�R�E	����DATABASE-CONSTRUCTORFORM	7��8�7�category����DATABASE-CONSTRUCTORKIND	7��8�7�#1�#2	�Category		�OrderedAbelianMonoid				����DATABASE-CONSTRUCTORMODEMAP	7��8�7	����DATABASE-COSIG	7��8�7]�

	
	�CATEGORY�	SIGNATURE	�	�"#	�&)	�,-	�0	�34	PIF=�78	�	%noBranch	�BPPROGN�	ATTRIBUTEA	�E		�	�I�H	�	�M�L	�	�Q�P	�	�X�W	�	!		����DATABASE-CONSTRUCTORCATEGORY	7�8�7�polycat.spad	����DATABASE-SOURCEFILE	7	8�7�*1�*2
	PAND�
ofCategory
�*3		�	�			


			"
		�	�			&
�*4		"�	�isDomain(			,

		0	3

		7


	<				����DATABASE-MODEMAPS	748�7�~=(	#PELT		�zero?)#:		�
unitNormal�Record�:�unit	B�	canonical	B�	associate			#I:�P	:		�
unitCanonical#JK:		�unit?)#LK:		�
subtractIfCan�Maybe		#:		�sample	#�CONST		0#R:		�recip�Union�failed			#+:		�	opposite?9#:		�one?)#-:		&)#T:		,��	#S:		�map�Mapping��		#X:		#V:		�	#W:		�latex�String		#:		�hash�
SingleInteger		#:		�exquod	#HK:		"�	#U:		�coerce�
OutputForm		#
:	U	#*:	V	#O:�W	:	#GK:	�	#E:�A	:		3��	#Q:		�
charthRootV	#F:�L	:		�characteristic�NonNegativeInteger		#)\		�before?#:		�associates?9#KK:		�annihilate?9#":		�Zero#\		�One[#.\		P=#:		7�	#P:�<	:		P-#:		#:		P+�#:		P**�PositiveInteger		#$:	�	#,:		P*�	#:	�	#:	U	#:	�##:	�#Z:	�	#Y:	V	#N�:	V	#M�:	!		!#	��������9Ⱦ[ȸ9ȯ����DATABASE-OPERATIONALIST	7�78�7�commutative�*		:�A	�noZeroDivisors:�P		����DATABASE-ATTRIBUTES	7��8�7�AMR����DATABASE-ABBREVIATION	7��8�7�	��		�		A:�A	D�		H:�H	L:�L	P:�P	W:�W	!		�������DATABASE-PARENTS	7�8�7�AbelianGroup		�
AbelianMonoid		�AbelianSemiGroup		W:�W	D	:�P	D�	:�A	�	BasicType		VV	:�		:�A	��		�CancellationAbelianMonoid		L:�L	H:�H	�
CoercibleFromV	:�	&	:�	&�	:�	&U		�CoercibleTo�		A:�A	�
EntireRing	:�	�		P:�	�
LeftLinearSetV	:�W	9�		9		9U		�
LeftModuleV	:�	B�		B		�	LinearSetV	:�	I	:�	I�	:�	�ModuleV	:�	P	:�	P�	:�	�Monoid		�RightLinearSetV	:�W	Z	:�A	Z�		�RightModuleV	:�	a	:�A	a�		��Rng		�	SemiGroup		�SemiRing		�SetCategory		�Type		!0	��c��V��T��R��O��M��K��D��8��5��,��*��(������DATABASE-ANCESTORS	7x	8"�aZ�+�*�
1�S%rk���(�)�)�+	#"�aZ�t	0		~̨~�m?>@