build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-0kk3Et/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 - C � % P R O C L A I M PF T Y P E PF U N C T I O N � A x i o m C o r e �% S h e l l �% B o o l e a n �B O O T � A L G F F ; b r a n c h P o i n t A t I n f i n i t y ? ; B ; 1 # # �/ t m p / o a - 0 k k 3 E t / c o d e . l s p o 0 8�% T h i n g � A L G F F ; d i s c r i m i n a n t ; F ; 2 # # 0 8�% V e c t o r P* � A L G F F ; i n t e g r a l B a s i s ; V ; 3 # # 0 8� !A L G F F ; i n t e g r a l B a s i s A t I n f i n i t y ; V ; 4 # # 0 8� A L G F F ; i n t e g r a l M a t r i x ; M ; 5 # # 0 8� A L G F F ; i n v e r s e I n t e g r a l M a t r i x ; M ; 6 # # 0 8� "A L G F F ; i n t e g r a l M a t r i x A t I n f i n i t y ; M ; 7 # # 0 8 � A L G F F ; b r a n c h P o i n t ? ; F B ; 8 # # 0 8� A L G F F ; d e f i n i n g P o l y n o m i a l ; U P U P ; 9 # # 0 8� *A L G F F ; i n v e r s e I n t e g r a l M a t r i x A t I n f i n i t y ; M ; 1 0 # # 0 8' � A L G F F ; v e c t # # 0 8'�% P a i r � A L G F F ; i n t e g r a l C o o r d i n a t e s ; $ R ; 1 2 # # 0 8�% I n t e g e r S e c t i o n # �% V o i d � A L G F F ; k n o w n I n f B a s i s ; N n i V ; 1 3 # # 0 8? � A L G F F ; g e t I n f B a s i s # # 0 8 ? � A L G F F ; s t a r t U p # # 0 88� $A L G F F ; i n t e g r a l D e r i v a t i o n M a t r i x ; M R ; 1 6 # # 0 8 � A L G F F ; i n t e g r a l R e p r e s e n t s ; V U P $ ; 1 7 # # 0 8(� A L G F F ; b r a n c h P o i n t ? ; U P B ; 1 8 # # 0 8� P U T ,� % r e d e x � I L A M � $ � % t r e f [# 8�S B - I M P L �`% D E F U N >b J<# " #LTS T A N D A R D TM I N I M A L ##`#$"� \ TE X T E R N A L � T L - X E P q 0 #k"� " #tbc##," "� \ h0 \ s 0 �B1 �EH���� H�e�H�ʍA��� �y���� H��L��L�E�I�L$`H�M�I�H��N H9��� I�\�H�]�C��� H��H�P�H��H�l$H�l$� �%X H��H�]�L�E�I�H�� H9��H I�T�H�{H�\$�H��H�ƹ H�+H���P�HB�L�E�H�� t.H�\$�H��� I��H������ H�+H���P HB�L�E�I�H��N H9��� I�\�H�]�C���� H��H�P�H��H�l$H�l$� �%X H��H�]�L�E�I�H�� H9��� I�T�H�{H�\$�H��H�ƹ H�+H���P�rH��R� � H��H��H)�H��H�S�H�{�H�s�H��L�E�H��u H�V�H���]ø ���� *�� ��� /��� ��� ��� /��� ��TA B S O L U T E � R E T U R N - M U L T I P L E � r \P S I M P L E - V E C T O R PV A L U E S P &