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-HZnKYA/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�AssociationListAggregate;AL##�/tmp/oa-HZnKYA/code.lsp	o	0	8�%DEFUN�AssociationListAggregate;>	�	devaluate<�t#1�t#2	�pairList<`G541	�Record�:�key
	�entry			�AssociationListAggregate�DATABASE�GET3<l	m	\	###-	
�TableAggregate<�
ListAggregate<�ShallowlyMutableAggregate<�domain�assoc�Maybe	
�$				%	�
mkCategory<�Join<�sublisV<#"t#ITSTANDARDTMINIMAL##`#$"#$"�\	TEXTERNAL�SB-C�3TL-XEP	q	0
	#Q"�"v#Z/0##$"M#$"�\	60
	\	s	0		��1�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;|$ ��I�|$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�1���H�=2���H�����H�+H���P	HB�H�U�H�\$�H��H�
���H�=���� H�
����H�+H���P	H�U�H�MЍA����H�E�H�HH;
������H�E�H���H�� �wH�\$�H��H�����H�=����H������H�+H���P	HB�H�U�H�\$�H��H�����H������H�+H���P	HB�H�U�H�\$�H��H�c���H�|����H�+H���P	HB�L��L�E�H�\$�H��(H�[���H�=\���� H�X���H�C�H�C� H�M����
H�+H���P	HB�L�E�H��H�\$�H�� H�U�H�}�I��H�K�H�����H�+H���P	HB�H��H�E�H���H�\$�H��H�U�H������H�+H���P	HB�H��H�\$�H��H�U�H������H�+H���P	HB�L��L�E�A�@��<A�x���1I��H�E�I�H�1�H9��"H�E�H�\$�H��H�U�H������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����
	�����j ���_@���M����
*��
��j0���Z���R���TABSOLUTE�alloc_tramp�>�alloc_trampy?PFUNCTION	PVALUESP
SIMPLE-VECTORP	&OPTIONAL		�	SB-KERNEL�GDATA-VECTOR-SET####		######		######	PLIST#####	PLENGTHI�G%CHECK-BOUNDI�GDATA-VECTOR-SET-WITH-OFFSETI�G%SVSETI�G
%INSTANCE-SET##########!
	PFUNCALLSPSETF�DATABASE-TEMPLATE	S,############!	!############!	 ############!	############!	-###########!	V##########!
	�G
%INSTANCE-REF]PGET##########!
	`
#######	.######		########		########	L#######	
######	.#####	\6	UIUS�
dbTemplate]PCOND########	�
constructorDB`\
	\	�o##0	8>q#<<�cons5<#"�#I/0##`#$"#$"�\	24	60
	#Q"�"�#Z/0##$"�#$"
\	60
	\	;0		�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����
>�alloc_tramp$>�alloc_tramp�z@ABD		PSYMBOL-VALUE#######	PCONS########	q~#######	PCDR#####	}#####	#�L#####	\	######	\	~�\	j###	\	\	��##0	8_7TPFDEFINITIONU�DATABASE-LOOKUP-FUNCTION	7��8_7�Key�Entry	T�U�DATABASE-CONSTRUCTORFORM	7��8_7�categoryT�U�DATABASE-CONSTRUCTORKIND	7��8_7�#1�#2	�Category	�SetCategory	�			T�U�DATABASE-CONSTRUCTORMODEMAP	7��8_7	T�U�DATABASE-COSIG	7��8_7-
	 	!	�CATEGORY"�	SIGNATURE#'			T�U�DATABASE-CONSTRUCTORCATEGORY	7��8_7�aggcat.spad	T�U�DATABASE-SOURCEFILE	7��8_7#�*1�*2�*3�	PAND�
ofCategory���*4		���	���	�isDomain�$�	�							T�U�DATABASE-MODEMAPS	7��8_7�~=�Boolean	&&	#POR�has�	�		�	BasicType		���	�	PELT		�value�&	"��		�third�"��		�tail&&	"��		�table&	#_�	&�List�		#^�		�swap!�Void	&��	#R�&!�		�	&�Integer		"��&!�		�		�split!&&		"��		�sorted?��Mapping���	&	"��	�&	"����
OrderedSet		�		�sort!&&	"��	�"��	�		�sort"��	�"��		�size?�&�NonNegativeInteger		"��		�	setvalue!�&�	"��		�setrest!&&&	"��		�setlast!/"��		�	setfirst!/"��		�setelt�&��	#F�	�&�	"��	�&�UniversalSegment	�	"��	�&�last	�	"��	&&�rest	&	"��	�&�first	�	"��	�&�value	�	"��		�setchildren!&&�&		"��		�select!&��	&	#*�&�FiniteAggregate�		�	Y"��		�selectY#1\�	Y"�\�		�second�"��		�search�Union��failed		�&	#;�		�sample�#�CONST		�BOOTTRAN�rreverse!�"��		�rreverse�"��		�rest&&*	"��	"��		�removeDuplicates!�"���		�removeDuplicates�#3���\	�	�		�remove!&�&	#,\�	Y#+\�	k#<�	Y"��	�"���		�rremove�#2��	Y#0\�	�"���	Y"�\�		�reduce����	&��	#o��	��&�	#k�	��&	#j�	�"���	�"��	�"��		�qsetelt!=#E�	?"��		�qelt�&�	#G�	�&	"��		�possiblyInfinite?"��		�position	X&	"��		�&	"���		�&		"���		�nodes&	"��		�node?�"���		�new&*�	"��		�more?"��		�minIndex�&	#O��	�		"��	�		�min3"��		�merge!&&&	"��	3"��		�merge�"��	3"��		�members�&	#i�	�"��		�member?��&	#n��	�"���		�	AxiomCore��maxIndex�#N��	�"���		�max3"��		�map!&��	&	#'�	&��		#?�	�"��		�map�#�	�#@�	�#`�	&���	&&	#]�	&�&&	"��	�"��		�list&�	"��		�less?"��		�leaves�"��		�leaf?"��		�latex�String	&	#����	��		�		�rlast"��	�"��		�keys��	&	#=�		�key?��&	#>�		�inspect�##�		�insert!�#$�	&�&		"��	&&&		"��		�insert%"��	'"��		�indices#L�	�	&	"��		�index?#K�	�&	"��		�hash�
SingleInteger	&	#�		�first�&	#P��	"��	�"��		�findh�i	X&	#l�	G"��		�fill!&&�	#Q�	&&�	"��		�extract!�#%�		�explicitlyFinite?"��		�revery?�X&	#g�	X"��		�eval&&��Equation�			#����Evalable�			�	&&^	#d�	&&��	#d�	&&��	#d�	&&��	l	#D���a�			�	&&��	#Cp�	&&]�		#Bp�	&&�t		#Ap�	j#dd�	h#cd�	f#bd�	`#ad�	j"�d�	h"�d�	f"�d�	`"�d�	!	�eq?�#
�		�entry?��&	#M��&Z�		�	�	�"��\�	�		�entriesl&	#J�	�"��		�empty?#�		�empty�#�		�elt�#I�	=#H�	?"��	�"��	&&	"��	�&E	"��	&&H	"��	�&K	"��	�&N	"��	!
	�distance	&&	"��		�
dictionary�#.�	�#-�		�delete!"��	�"��		�delete"��	�"��		�cyclic?"��		�	cycleTail"��		�cycleSplit!"��		�cycleLength*&	"��		�
cycleEntry"��		�count*�&	#m��	*X&	#h�	�"���	�"��		�	copyInto!'"��		�copy�#	�		�convert�	InputForm	&	#4����
ConvertibleTo		�	�		�	construct�#/�	�"��		�concat!N"��	3"��		�concatN"��	&S	"��	�"��	"��		�coerce�
OutputForm	&	#����CoercibleTo�		���	�	�		�children"��		�child?�"���		�before?#��		�bag�#&�		#$�	�&	#�		�rany?X#f�	X"��		P>=�"��		P>�"��		P=#��		P<=�"��		P<�"��		�#�#e�		!h	�����������3������������ȾBȟz�B	�6	�0z���+���������	������	��+��Sȶ	ȧ��|	�B	�?	�
�
����T�U�DATABASE-OPERATIONALIST	7#�8_7�ALAGGT�U�DATABASE-ABBREVIATION	7(&8_7��		 �	�				!�			T�U�DATABASE-PARENTS	76+8_7�	Aggregate		�BagAggregate�		�	�	�
Collection�		�
Dictionary�		�DictionaryOperations�		�EltableB&		K	�		K��		�EltableAggregate	�		R��		n�o	b��b	�ExtensibleLinearAggregate�		[	�FiniteLinearAggregate�		�
Functorial�		`�		�HomogeneousAggregate�		e�		�IndexedAggregate	�		j��		�
InnerEvalable��	�o	o��	��b	�KeyedDictionary��		�LinearAggregate�		 �		�RecursiveAggregate�		�			�StreamAggregate�		��		�Type		�UnaryRecursiveAggregate�		!$	T�U�DATABASE-ANCESTORS	7�98"�aZ�+�15�:	�	
]&
�
@(�y���	#"�aZ�t	0		��y��=?>�@