ACF.fasl

#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script
# FASL
  compiled from "/tmp/oa-k0A11y/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�AlgebraicallyClosedField;AL##�/tmp/oa-k0A11y/code.lsp	o	0	8�%DEFUN�AlgebraicallyClosedField;>	�Field<�RadicalCategory<�domain�rootOf�
$�
Polynomial
				
�SparseUnivariatePolynomial
				
�Symbol				�rootsOf�List
										�zeroOf		)		)		�zerosOf 		0#		0&		!		�
mkCategory<�Join<�AlgebraicallyClosedField	#"B
#HTSTANDARDTMINIMAL#
#`\
	TEXTERNAL�SB-C�ATL-XEP	q	0
	#H"�"D
#Q=>#
\	D0
	\	s	0		�T
1�EH����H�e�I�L$`H�M�H�T$�H��H�_���1�H�*H���P	HB�H�U�H�T$�H��H�D���1�H�*H���P	HB�L��L�E�H�\$�H��(H�&���H�='���� H�#���H�C�H�C� H�����
H�+H���P	HB�L�E�H��H�\$�H��H�U�I��H������H�+H���P	HB�B�u+�z��u%H��H�J�1�H9�vH�
����H�L�
H��H���]���
*�
�
�
�
LPFUNCTIONPVALUESP
SIMPLE-VECTORP	&OPTIONAL		�	SB-KERNEL�SDATA-VECTOR-SET#
###
	PLENGTHU�S%CHECK-BOUNDU�SDATA-VECTOR-SET-WITH-OFFSETU�S%SVSETU9#
##
##
#	
#
##
##
#		#
##
##
#
	:#
##
##
	\	PSETFU\	\	�
b##
0	8;>d<#"�#H=>##`\
	@B;	D0
	#H"�"�#Q=>#\	;D0
	\	;I0		��1�EH����H�e�I�L$`H�M�H������H�I���aHDH���Qt]H�� t	H��H���]�H�T$�H��H�j���1�H�*H���P	HB�B�u*�z��u$H�
?����A�I�D�x�aHD�H�P����
�
*�

l;MNP		####
#	PSYMBOL-VALUE##	\	####
	\	q\	PCONDq\	\	�
y##0	8PGET;�DATABASE7
�AlgebraicallyClosedField&
PFUNCALLPFDEFINITION_�DATABASE-LOOKUP-FUNCTION	7
}8{;|7
<
��_�DATABASE-CONSTRUCTORFORM	7
��8{;|7
�category
��_�DATABASE-CONSTRUCTORKIND	7
��8{;|7
<�Category		;		
��_�DATABASE-CONSTRUCTORMODEMAP	7
��8{;|7
	
��_�DATABASE-COSIG	7
��8{;|7
:		
	�CATEGORY�	SIGNATURE	�	�	� 	�#	�&	�)	�)	�)	�0 	�0#	�0&	!		
��_�DATABASE-CONSTRUCTORCATEGORY	7
��8{;|7
�algfunc.spad	
��_�DATABASE-SOURCEFILE	7
��8{;|7
�*1��*2	PAND�isDomain��		�
ofCategory�<			�����		�		����*3	����	�		���	����	����				�����	��		����*4	����	��		)��	)��	)��	0��	0��	0��	!	
��_�DATABASE-MODEMAPS	7
��8{;|7
�~=�Boolean	

	#PELT		0 #c�	##b�	&#a�		)#f�	#e�	#d�		�zero?�
	#�		�
unitNormal�Record�
:�unit
	��	canonical
	��	associate
		
	#8�		�
unitCanonical

	#7�		�unit?�#5�		�
subtractIfCan�Maybe
	

	#�		�squareFreePart
#\�		�
squareFree�Factored
	
	#[�		�sqrt
#o�		�	sizeLess?�#L�		�sample
	#�CONST		 #i�	##h�	&#g�		#l�	#k�	#j�		�rem


	#H�		�recip�Union
�failed		
	#+�		�quo#I�		�principalIdeal���coef	��	generator
			#C�		�prime?�#Z�		�	opposite?�#�		�one?�#-�		�nthRoot

�Integer		#n�		�multiEuclidean2
3
	
	#E�		�lcm.
#=�	
	#<�		�latex�String	
	#�		�inv
#Y�		�hash�
SingleInteger	
	#�		�
gcdPolynomial	#;�		�gcd.
#?�	#>�		�factor#]�		�extendedEuclidean���coef1
	��coef2
	?
	

	#G�	2
�	3
	


	#F�		�exquo4


	#9�		�expressIdealMember
	
	#B�		�
euclideanSize�NonNegativeInteger	
	#K�		�divide���quotient
	��	remainder
		

	#J�		�coerce�
OutputForm	
	#
�	
O
	#*�	
#:�	
�FractionO
		#U�		�characteristic�
	#)"
		�before?#�		�associates?�#6�		�annihilate?�#"�		�Zero#"
		�One!
#."
		P
=#�		P
/.
#T�		P
-
#�	.
#�		P
+.
#�		P**

�PositiveInteger		#$�	

�
	#,�	P
#X�	

�
	#m�		P
*
�

	#�	
�

	#�	
O

	#�	.
##�	�
#W�	
	#V�		!1	�
���

�
��

�Ƚ
!
ȷ
�Ȯ
{
�
y
�


�u
Z
�r
.
�9

��_�DATABASE-OPERATIONALIST	7
�
�8{;|7
�canonicalUnitNormal	�noZeroDivisors	�commutative�
*				
��_�DATABASE-ATTRIBUTES	7
�
�
8{;|7
�ACF
��_�DATABASE-ABBREVIATION	7
�
�
8{;|7
�	�		
��_�DATABASE-PARENTS	7
�
�
8{;|7
�AbelianGroup		�
AbelianMonoid		�AbelianSemiGroup		�Algebra�
		
		�	BasicType		�BiModule�
�
		

		�CancellationAbelianMonoid		�
CoercibleFrom�
		
		O
		�CoercibleTo�
		�CommutativeRing		�DivisionRing		�
EntireRing		�EuclideanDomain		�
�	GcdDomain		�IntegralDomain		�
LeftLinearSet�
		3
		3O
		�
LeftModule�
		:
		�	LinearSet�
		?
		�Module�
		D
		�Monoid		�PrincipalIdealDomain		�
�RightLinearSet�
		O
		�RightModule�
		T
		�Ring		�Rng		�	SemiGroup		�SemiRing		�SetCategory		�Type		�UniqueFactorizationDomain		!+	
��_�DATABASE-ANCESTORS	7
o�
8"cZ�+�1
	�	
�
�
���k�)R*�*+	#"cZ�t	0		
u�ku�K?>v@