ALGEBRA-.fasl

#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script
# FASL
  compiled from "/tmp/oa-16XQz3/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		�BOOT�	ALGEBRA-;coerce;R$;1	##�/tmp/oa-16XQz3/code.lsp	o	0	8�SB-IMPL�%DEFUN
>#"g
#LTSTANDARDTMINIMAL#
#`#$"
#$"�\	TEXTERNAL�TL-XEP
	q	0
	#l"�"n
#u#
#$"�#$"

\	
0
	\	
s	0		��
1�EH���"
H�e�H�ύA��
�y���
H��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�S
H�\$�H���H�+H���P�HB�H��H�E�H�p
H�U�H�Eع�u�`���
*��
�
��
/��
�
��
/��


�	
x�	
$	P
SIMPLE-VECTOR	P
*	PCDR#
#	PFUNCALL#
##	'*PCAR*�	SB-KERNEL�,%COERCE-CALLABLE-TO-FUN*�,DATA-VECTOR-REF*PLENGTH*�,%CHECK-BOUND*�,DATA-VECTOR-REF-WITH-OFFSET*)(PSVREF*+(-(.#
##	/3031323\$	�	SPADCALL*�	spadConstant*�	
shellEntry35(\	\	�
:##

0	8�	Algebra&>=�		devaluate<<�	newShell<�	buildPredVector<�	stuffDomainSlots<#"#I##`#$"
#$"�\	<	0
	#Q"�"#Z##$"�#$"

\	<0
	\	<0		�W1
�EH����
H�e�H�U�H�}�I�L$`H�M�H�\$�H��H�U�H�b����H�+H���P	HB�H��H�u�H�\$�H��H�U�H�5����H�+H���P	HB�H�u�H��H�=���I�l$@M�\$I�S0I;T$ �F
I�T$I�SH��H�x�H��H�@�H�p�H��H�@�H�X�H�@
 I1l$@t�	H�U�H�\$�H���H������H�+H���P	HB�H��H�]�L�D$�H��1�1�� H������I�(I���P	HB�H�]؍C����{����H��H�K�1�H9���H�M�H�L�
H��H�K��H9���H�T�
H�t$�H��H��H�%����H�.H���P	HB�H�]�H�K��H9�vVH�U�H�T�
H�K��H9�vHH�}�H�|�
H��H���]��j0���Z�������
*��
�
��
��
��
��
��
��
��
�TABSOLUTE�alloc_tramp
J<�	#1�	#2		PVALUES#P	&OPTIONAL		�,DATA-VECTOR-SET####	/T0T�,DATA-VECTOR-SET-WITH-OFFSETTS####	/V0VUV@####	S####	/X0XUXS####
	/Y0YUY�,%SVSETYZXZVZT?###
##
	>###
##
	PLIST###
##
	=###
#
#
	=###
##
	\4	PSETFYbXbVbT\	\	�
e##
0	8�	MAKEPROP<�	infovec]�	localK	iL	#�	One	#%	
�	
OutputForm	�	Integer	\
	�	coerce#
\	PCONS�	makeByteWordVec2#
7v\	v\	w#
##########	#
####
!	7777�	lookupComplete78PGET<�	DATABASE7
jkmn
pr\
	
)PFDEFINITIONb�	DATABASE-TEMPLATE	7
�~8|<}7
{
)�b�	DATABASE-LOOKUP-FUNCTION	7
��8|<}7
<�	
S�	
R	
)�b�	DATABASE-CONSTRUCTORFORM	7
��8|<}7
�	package
)�b�	DATABASE-CONSTRUCTORKIND	7
��8|<}7
<KL	�	CATEGORY��		SIGNATUREtM	�tKr		�tpK			�	AlgebraL	�	CommutativeRing		<		
)�b�	DATABASE-CONSTRUCTORMODEMAP	7
��8|<}7
	
)�b�	DATABASE-COSIG	7
��8|<}7
�catdef.spad	
)�b�	DATABASE-SOURCEFILE	7
��8|<}7
tp!	PELT	!r	�	!L	#
�			
)�b�	DATABASE-OPERATIONALIST	7
��8|<}7
t#
\	
)�b�	DATABASE-OPTABLE	7
��8|<}7

!�			
)�b�	DATABASE-CAPSULE-DEFINITIONS	7
��8|<}7
�	ALGEBRA-
)�b�	DATABASE-ABBREVIATION	7
��8"aZ�+�Q�]�X��=��#�	�		#"aZ�t	0		
��H��?>�@