2025-07-18 ...before ...langrage20250609.lisp

;;; -*- Mode: LISP; package:maxima; syntax:common-lisp; -*- 
(in-package :maxima)
(DSKSETQ $%I1
         '((MDEFINE) (($F) $X)
           ((MPLUS) ((MTIMES) 27. ((MEXPT) $X 8.))
            ((MTIMES) 15. ((MEXPT) $X 7.))
            ((MTIMES) ((MMINUS) 32.) ((MEXPT) $X 6.))
            ((MTIMES) 2. ((MEXPT) $X 4.)) ((MMINUS) ((MEXPT) $X 2.))
            10.))) 
(ADDLABEL '$%I1) 
(DSKSETQ $%O1
         '((MDEFINE SIMP) (($F) $X)
           ((MPLUS) ((MTIMES) 27. ((MEXPT) $X 8.))
            ((MTIMES) 15. ((MEXPT) $X 7.))
            ((MTIMES) ((MMINUS) 32.) ((MEXPT) $X 6.))
            ((MTIMES) 2. ((MEXPT) $X 4.)) ((MMINUS) ((MEXPT) $X 2.))
            10.))) 
(ADDLABEL '$%O1) 
(DSKSETQ $%I2 '(($F) 1.)) 
(ADDLABEL '$%I2) 
(DSKSETQ $%O2 '21.) 
(ADDLABEL '$%O2) 
(DSKSETQ $%I3 '(($F) 2.)) 
(ADDLABEL '$%I3) 
(DSKSETQ $%O3 '6822.) 
(ADDLABEL '$%O3) 
(DSKSETQ $%I4 '(($F) 4.)) 
(ADDLABEL '$%I4) 
(DSKSETQ $%O4 '1884666.) 
(ADDLABEL '$%O4) 
(DSKSETQ $%I5 '(($F) 8.)) 
(ADDLABEL '$%I5) 
(DSKSETQ $%O5 '476061642.) 
(ADDLABEL '$%O5) 
(DSKSETQ $%I6 '(($F) 9.)) 
(ADDLABEL '$%I6) 
(DSKSETQ $%O6 '1217012941.) 
(ADDLABEL '$%O6) 
(DSKSETQ $%I7 '(($F) 12.)) 
(ADDLABEL '$%I7) 
(DSKSETQ $%O7 '12051472762.) 
(ADDLABEL '$%O7) 
(DSKSETQ $%I8 '(($F) 13.)) 
(ADDLABEL '$%I8) 
(DSKSETQ $%O8 '22811556297.) 
(ADDLABEL '$%O8) 
(DSKSETQ $%I9 '(($F) 15.)) 
(ADDLABEL '$%I9) 
(DSKSETQ $%O9 '71396538535.) 
(ADDLABEL '$%O9) 
(DSKSETQ $%I10 '(($F) 16.)) 
(ADDLABEL '$%I10) 
(DSKSETQ $%O10 '119453908746.) 
(ADDLABEL '$%O10) 
(DSKSETQ $%I11
         '((MDEFINE) (($TEST) $X)
           ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 2.))
            ((MPLUS) 4. ((MMINUS) 2.))))) 
(ADDLABEL '$%I11) 
(DSKSETQ $%O11
         '((MDEFINE SIMP) (($TEST) $X)
           ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 2.))
            ((MPLUS) 4. ((MMINUS) 2.))))) 
(ADDLABEL '$%O11) 
(DSKSETQ $%I12 '(($TEST) 2.)) 
(ADDLABEL '$%I12) 
(DSKSETQ $%O12 '0.) 
(ADDLABEL '$%O12) 
(DSKSETQ $%I13
         '((MDEFINE) (($L0) $X)
           ((MPLUS)
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 2.))
             ((MPLUS) 1. ((MMINUS) 2.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 4.))
             ((MPLUS) 1. ((MMINUS) 2.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 8.))
             ((MPLUS) 1. ((MMINUS) 8.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 9.))
             ((MPLUS) 1. ((MMINUS) 9.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 12.))
             ((MPLUS) 1. ((MMINUS) 12.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 13.))
             ((MPLUS) 1. ((MMINUS) 13.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 15.))
             ((MPLUS) 1. ((MMINUS) 15.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 16.))
             ((MPLUS) 1. ((MMINUS) 16.)))))) 
(ADDLABEL '$%I13) 
(DSKSETQ $%O13
         '((MDEFINE SIMP) (($L0) $X)
           ((MPLUS)
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 2.))
             ((MPLUS) 1. ((MMINUS) 2.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 4.))
             ((MPLUS) 1. ((MMINUS) 2.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 8.))
             ((MPLUS) 1. ((MMINUS) 8.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 9.))
             ((MPLUS) 1. ((MMINUS) 9.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 12.))
             ((MPLUS) 1. ((MMINUS) 12.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 13.))
             ((MPLUS) 1. ((MMINUS) 13.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 15.))
             ((MPLUS) 1. ((MMINUS) 15.)))
            ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 16.))
             ((MPLUS) 1. ((MMINUS) 16.)))))) 
(ADDLABEL '$%O13) 
(DSKSETQ $%I14 '(($L0) 4.)) 
(ADDLABEL '$%I14) 
(DSKSETQ $%O14 '((RAT SIMP) 6959. 3080.)) 
(ADDLABEL '$%O14) 
(MDEFPROP $F
    ((LAMBDA) ((MLIST) $X)
     ((MPLUS) ((MTIMES) 27. ((MEXPT) $X 8.))
      ((MTIMES) 15. ((MEXPT) $X 7.))
      ((MTIMES) ((MMINUS) 32.) ((MEXPT) $X 6.))
      ((MTIMES) 2. ((MEXPT) $X 4.)) ((MMINUS) ((MEXPT) $X 2.)) 10.))
    MEXPR) 
(ADD2LNC '(($F) $X) $FUNCTIONS) 
(MDEFPROP $TEST
    ((LAMBDA) ((MLIST) $X)
     ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 2.))
      ((MPLUS) 4. ((MMINUS) 2.))))
    MEXPR) 
(ADD2LNC '(($TEST) $X) $FUNCTIONS) 
(MDEFPROP $L0
    ((LAMBDA) ((MLIST) $X)
     ((MPLUS)
      ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 2.))
       ((MPLUS) 1. ((MMINUS) 2.)))
      ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 4.))
       ((MPLUS) 1. ((MMINUS) 2.)))
      ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 8.))
       ((MPLUS) 1. ((MMINUS) 8.)))
      ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 9.))
       ((MPLUS) 1. ((MMINUS) 9.)))
      ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 12.))
       ((MPLUS) 1. ((MMINUS) 12.)))
      ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 13.))
       ((MPLUS) 1. ((MMINUS) 13.)))
      ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 15.))
       ((MPLUS) 1. ((MMINUS) 15.)))
      ((MQUOTIENT) ((MPLUS) $X ((MMINUS) 16.))
       ((MPLUS) 1. ((MMINUS) 16.)))))
    MEXPR) 
(ADD2LNC '(($L0) $X) $FUNCTIONS) 
(SETQ $LINENUM 15.) 
(SETQ *ALPHABET* (NCONC '(#\_ #\%) *ALPHABET*))