build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script
# FASL
compiled from "/tmp/oa-qjzMdL/code.lsp"
using SBCL version 1.2.14.debian
� X86-64N
1.2.14.debian2 (:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)�S B - I M P L �
% D E F P A R A M E T E R �B O O T �A b e l i a n G r o u p ; A L # # �/ t m p / o a - q j z M d L / c o d e . l s p o 0 8� % D E F U N �
A b e l i a n G r o u p ; > `G 5 4 2 �I n t e g e r �p a i r L i s t <�C a n c e l l a t i o n A b e l i a n M o n o i d < �
L e f t L i n e a r S e t <�d o m a i n P- �$ �
m k C a t e g o r y <�J o i n <�s u b l i s V <� A b e l i a n G r o u p # "� #HTS T A N D A R D TM I N I M A L ##`\ TE X T E R N A L �S B - C �$T L - X E P q 0
#H"� "� #Q !#\ '0
\ s 0 � �1 �EH���b H�e�I�L$`H�M�H�\$�H��H�?���H�=@���H�A���� H�+H���P HB�H�U�H�T$�H��H�#���1�H�*H���P HB�H�U�H�\$�H��H����H� ���� H�+H���P HB�L��L�E�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�H��H�\$�H��H�U�H������ H�+H���P HB�B�u+�z��u%H��H�J�1�H9�v H�
`���H�L�H��H���]���
*��
��/PF U N C T I O N PV A L U E S P
S I M P L E - V E C T O R P & O P T I O N A L � S B - K E R N E L �6D A T A - V E C T O R - S E T #### PL E N G T H 8�6 % C H E C K - B O U N D 8�6D A T A - V E C T O R - S E T - W I T H - O F F S E T 8�6% S V S E T 8#### ### #### ### #### ### #### ## #### ## #### # \ PS E T F 8\ \ � G# #0 8 >I <# "� #H !##`\ #% '0
#H"� "� #Q !#\ '0
\ ,0 ��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����
�
*�Q 013 ##### P S Y M B O L - V A L U E ## \ #### \ V\ PC O N D V\ \ � ^# #0 8PG E T �D A T A B A S E 7�
A b e l i a n G r o u p & PF U N C A L L P F D E F I N I T I O N D�D A T A B A S E - L O O K U P - F U N C T I O N 7db8` a7 efD�D A T A B A S E - C O N S T R U C T O R F O R M 7ji8` a7�c a t e g o r y efD�D A T A B A S E - C O N S T R U C T O R K I N D 7om8` a7 �C a t e g o r y efD�D A T A B A S E - C O N S T R U C T O R M O D E M A P 7xr8` a7 efD�D A T A B A S E - C O S I G 7}{8` a7 �C A T E G O R Y � S I G N A T U R E � efD� D A T A B A S E - C O N S T R U C T O R C A T E G O R Y 7��8` a7� c a t d e f . s p a d efD�D A T A B A S E - S O U R C E F I L E 7��8` a7�* 1 �� �
o f C a t e g o r y � ���� � efD�D A T A B A S E - M O D E M A P S 7��8` a7�~ = �B o o l e a n #PE L T �z e r o ? � #� �
s u b t r a c t I f C a n �M a y b e #� �s a m p l e #�C O N S T � o p p o s i t e ? �#� �l a t e x �S t r i n g # � �h a s h �
S i n g l e I n t e g e r # � �c o e r c e �
O u t p u t F o r m #
� �b e f o r e ? #� �Z e r o #� P= #� # � # � P+ #� P* �P o s i t i v e I n t e g e r #� �N o n N e g a t i v e I n t e g e r #� # � ! ��� ��� ��� efD�D A T A B A S E - O P E R A T I O N A L I S T 7��8` a7�A B E L G R P efD�D A T A B A S E - A B B R E V I A T I O N 7��8` a7� � efD�D A T A B A S E - P A R E N T S 7��8` a7�
A b e l i a n M o n o i d �A b e l i a n S e m i G r o u p � B a s i c T y p e �� C o e r c i b l e T o � �� S e t C a t e g o r y �T y p e efD�D A T A B A S E - A N C E S T O R S 7�8"aZ� + � % �a�^�$�F��% � # "aZ� t 0 �P �. ?> @