ALGEBRA.fasl

#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script
# FASL
  compiled from "/tmp/oa-DhHLgD/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�
Algebra;AL##�/tmp/oa-DhHLgD/code.lsp	o	0	8�%DEFUN�Algebra;>	�	devaluate<�t#1	�pairList<�Algebra�DATABASE�GET3<l	m	\	###-	�Ring<
�Module<�
CoercibleFrom<�Join<�sublisV<#")#ITSTANDARDTMINIMAL#
#`#$"
\	TEXTERNAL�SB-C�TL-XEP	q	0
	#M"�"+#V#
#$"�\	 0
	\	s	0		�
a1�EH����H�e�H�U�I�L$`H�M�H�\$�H��H�U�H�&����H�+H���P	HB�I�l$@M�\$I�KI;L$ ��I�L$I�KI1l$@t�	H�Q�H�A
 H�\$�H��H�����H��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�� ��
H�T$�H��H�d���1�H�*H���P	HB�H�U�H�\$�H��H�I���H�J����H�+H���P	HB�H��H�}�H�\$�H��H����H�"����H�+H���P	HB�H�}�H��H�\$�H��H�U�H������H�+H���P	HB�H��H�E�H���H�\$�H��H�U�H������H�+H���P	HB�H��H�}؍G��������L��L�M�H�O�M1�L9���L�E�H�\$�H��H�U�H�����H�+H���P	HB�H�}�L�M�L�E�H��H�5���I�l$@M�\$I�S I;T$ ��I�T$I�SH��H�p�H��H�@�H�X�H�@
 I1l$@t�	K�T�
H��H���]�H������H�Q-H��~H�A%H�HH;
���������
	�

��j���Y���a����
*���
����j ���Z���e���TABSOLUTE�alloc_trampR(�alloc_tramp.
)PFUNCTION	PVALUESP
SIMPLE-VECTORP	&OPTIONAL		�	SB-KERNEL�1DATA-VECTOR-SET#
###
		#
###
##	PLIST#
###
#	PLENGTH3�1%CHECK-BOUND3�1DATA-VECTOR-SET-WITH-OFFSET3�1%SVSET3�1
%INSTANCE-SET#
##
##
####
!		PFUNCALL<PSETF�DATABASE-TEMPLATE	<#
##
##
####
##!	#
##
##
####
##!	#
##
##
####
##
!	#
##
##
####
#!
	?#
##
##
###
#!		�1
%INSTANCE-REFE5#
##
##
#
#	PGET#
##
##
##
##
!		I	#
##
##
#
##
	PCONSG#
##
##
#
	#
##
##
	\.	>3><�
dbTemplateEPCOND#
##
##
##	�
constructorDBI\
	\	�
U##
0	8
>W�assoc<<�cons5<#"�
#I##`#$"
\	
	 0
	#M"�"�
#V##$"�\	
 0
	\	
%0		��
1�EH���W
H�e�H�U�I�L$`H�M�H������x�I�<<��aHDx���Q�)
H�\$�H��H�U�H�_����H�+H���P	HB�H��H�� t�F����H�V
H���]�H�\$�H��H�U�H� ����H�+H���P	HB�H��F����~����I�l$@M�\$I�KI;L$ ��I�L$I�KI1l$@t�	H�U�H�Q�H�q
H������x�I�<<��aHDx���QtwH�\$�H��H��H�u�H������H�+H���P	HB�H�u�H�
`����A�I�D�x�aHD�H�P�H��������
�
/��
*�j���Y���Y����
(�alloc_tramp�

a
*+,.		PSYMBOL-VALUE#####
##	K#####
###
	Xe#####
#
#	PCDR####
#
	d###
##
	Wj\	#####
#	\	ej\	P###	\	\	�
r##0	8H
7
�Algebra&
=PFDEFINITION>�DATABASE-LOOKUP-FUNCTION	7
vt8H
7

�
R	
=w>�DATABASE-CONSTRUCTORFORM	7
}z8H
7
�category
=w>�DATABASE-CONSTRUCTORKIND	7
��8H
7

�#1	�Category	�CommutativeRing		
		
=w>�DATABASE-CONSTRUCTORMODEMAP	7
��8H
7
	
=w>�DATABASE-COSIG	7
��8H
7
	
	
		
=w>�DATABASE-CONSTRUCTORCATEGORY	7
��8H
7
�catdef.spad	
=w>�DATABASE-SOURCEFILE	7
��8H
7
�~=�Boolean	�
$�	#PELT		�zero?��	#�		�
subtractIfCan�Maybe�	��	#�		�sample�	#�CONST		�recip�Union��failed		�	#+�		�	opposite?�#�		�one?�#-�		�latex�String	�	#�		�hash�
SingleInteger	�	#�		�coerce�
OutputForm	�	#
�	��Integer		#*�	��	#5�		�characteristic�NonNegativeInteger		#)�		�before?#�		�annihilate?�#"�		�Zero#�		�One�#.�		P
=#�		P
-��	#�	���	#�		P
+�#�		P**���PositiveInteger		#$�	���	#,�		P
*�

�	#�	���	#�	���	#�	�##�	���	#7�	��	#6�		!	
��

���������
=w>�DATABASE-OPERATIONALIST	7

�8H
7
�ALGEBRA
=w>�DATABASE-ABBREVIATION	7


8H
7
�	{		{			
=w>�DATABASE-PARENTS	7
$

8H
7
�AbelianGroup		�
AbelianMonoid		�AbelianSemiGroup		�	BasicType		�BiModule��		�CancellationAbelianMonoid		�		�		�CoercibleTo�		�
LeftLinearSet�		A
�		A
�		�
LeftModule�		H
�		�	LinearSet�		�		�Monoid		�RightLinearSet�		�RightModule�		
�Rng		�	SemiGroup		�SemiRing		�SetCategory		�Type		!	
=w>�DATABASE-ANCESTORS	7
k
'
8"aZ�+� R_��=�
���
�
t	#"aZ�t	0		
q
�`q
�'?>r
@