build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-TFRuqh/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 M o n o i d R i n g ; A L # # �/ t m p / o a - T F R u q h / c o d e . l s p o 0 8� % D E F U N �A b e l i a n M o n o i d R i n g ; > � d e v a l u a t e <�t # 1 �t # 2 �p a i r L i s t <�A b e l i a n M o n o i d R i n g �D A T A B A S E � G E T 3 <l m \ ### - �R i n g < �B i M o d u l e <� F u n c t o r i a l <�d o m a i n �l e a d i n g C o e f f i c i e n t �$ �l e a d i n g M o n o m i a l �d e g r e e � m o n o m i a l ? �B o o l e a n �m o n o m i a l �r e d u c t u m �c o e f f i c i e n t P/ �h a s �F i e l d �C o m m u t a t i v e R i n g : A �A l g e b r a B �C h a r a c t e r i s t i c Z e r o : H �C h a r a c t e r i s t i c N o n Z e r o : L �I n t e g r a l D o m a i n : P D�F r a c t i o n �I n t e g e r : W ( � m k C a t e g o r y <�J o i n <�s u b l i s V <# " #ITS 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 �cT L - X E P q 0 #Q"� " #Z_`##$"M #$"� \ f0 \ s 0 �F1 �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;|$ �D 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�Q���H�=R���� H�N���� H�+H���P H�U�H�MЍA���� H�E�H�HH; &����f H�E�H��� H�� �F H�T$�H��H� ���1�H�*H���P HB�H�U�H�\$�H��H�����H�=����H������ H�+H���P HB�H�U�H�\$�H��H�����H������ H�+H���P HB�L��L�E�H�\$�H��(H�����H�=����H�5����H�����H�C�H�C� H������ H�+H���P HB�L�E�H��H�\$�H�� H�U�H�}�I��H�K�H�a���� H�+H���P HB�H��H�E�H��� H�\$�H��H�U�H�5���� H�+H���P HB�L��L�E�A�@��< A�x���1 I��H�E�I�H�1�H9��" H�E�H�\$�H��H�U�H�O���� 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 � ��_@������� *�� ��j0� ��Z���R���TA B S O L U T E �alloc_tramp7 n�alloc_tramp oPF 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 &