From 128d66db542368fd7abe54cc10427b0225c91862 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 15 Mar 2008 07:09:19 +0000 Subject: * algebra/polset.spad.pamphlet (exactQuo$PSETCAT-): Don't conditionally define as local function. Update cached Lisp translation. --- configure | 18 ++--- configure.ac | 2 +- configure.ac.pamphlet | 2 +- src/ChangeLog | 6 ++ src/algebra/polset.spad.pamphlet | 149 +++++++++++++++++++-------------------- 5 files changed, 89 insertions(+), 88 deletions(-) diff --git a/configure b/configure index 04fad308..931db1d5 100755 --- a/configure +++ b/configure @@ -1,6 +1,6 @@ #! /bin/sh # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.60 for OpenAxiom 1.2.0-2008-03-13. +# Generated by GNU Autoconf 2.60 for OpenAxiom 1.2.0-2008-03-15. # # Report bugs to . # @@ -713,8 +713,8 @@ SHELL=${CONFIG_SHELL-/bin/sh} # Identity of this package. PACKAGE_NAME='OpenAxiom' PACKAGE_TARNAME='openaxiom' -PACKAGE_VERSION='1.2.0-2008-03-13' -PACKAGE_STRING='OpenAxiom 1.2.0-2008-03-13' +PACKAGE_VERSION='1.2.0-2008-03-15' +PACKAGE_STRING='OpenAxiom 1.2.0-2008-03-15' PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net' ac_unique_file="src/Makefile.pamphlet" @@ -1387,7 +1387,7 @@ if test "$ac_init_help" = "long"; then # Omit some internal or obsolete options to make the list less imposing. # This message is too long to be a string in the A/UX 3.1 sh. cat <<_ACEOF -\`configure' configures OpenAxiom 1.2.0-2008-03-13 to adapt to many kinds of systems. +\`configure' configures OpenAxiom 1.2.0-2008-03-15 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1457,7 +1457,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of OpenAxiom 1.2.0-2008-03-13:";; + short | recursive ) echo "Configuration of OpenAxiom 1.2.0-2008-03-15:";; esac cat <<\_ACEOF @@ -1561,7 +1561,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -OpenAxiom configure 1.2.0-2008-03-13 +OpenAxiom configure 1.2.0-2008-03-15 generated by GNU Autoconf 2.60 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, @@ -1575,7 +1575,7 @@ cat >config.log <<_ACEOF This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. -It was created by OpenAxiom $as_me 1.2.0-2008-03-13, which was +It was created by OpenAxiom $as_me 1.2.0-2008-03-15, which was generated by GNU Autoconf 2.60. Invocation command line was $ $0 $@ @@ -25230,7 +25230,7 @@ exec 6>&1 # report actual input values of CONFIG_FILES etc. instead of their # values after options handling. ac_log=" -This file was extended by OpenAxiom $as_me 1.2.0-2008-03-13, which was +This file was extended by OpenAxiom $as_me 1.2.0-2008-03-15, which was generated by GNU Autoconf 2.60. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -25279,7 +25279,7 @@ Report bugs to ." _ACEOF cat >>$CONFIG_STATUS <<_ACEOF ac_cs_version="\\ -OpenAxiom config.status 1.2.0-2008-03-13 +OpenAxiom config.status 1.2.0-2008-03-15 configured by $0, generated by GNU Autoconf 2.60, with options \\"`echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`\\" diff --git a/configure.ac b/configure.ac index 0116534b..ab152548 100644 --- a/configure.ac +++ b/configure.ac @@ -1,6 +1,6 @@ sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.2.0-2008-03-13], +AC_INIT([OpenAxiom], [1.2.0-2008-03-15], [open-axiom-bugs@lists.sf.net]) AC_CONFIG_AUX_DIR(config) diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 82c7fdcf..4f5667ff 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -1022,7 +1022,7 @@ information: <>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.2.0-2008-03-13], +AC_INIT([OpenAxiom], [1.2.0-2008-03-15], [open-axiom-bugs@lists.sf.net]) @ diff --git a/src/ChangeLog b/src/ChangeLog index 55aaa73f..2bfe9404 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2008-03-15 Gabriel Dos Reis + + * algebra/polset.spad.pamphlet (exactQuo$PSETCAT-): Don't + conditionally define as local function. Update cached Lisp + translation. + 2008-03-13 Gabriel Dos Reis * algebra/catdef.spad.pamphlet: Update cached Lisp translation. diff --git a/src/algebra/polset.spad.pamphlet b/src/algebra/polset.spad.pamphlet index 14527801..60afd780 100644 --- a/src/algebra/polset.spad.pamphlet +++ b/src/algebra/polset.spad.pamphlet @@ -198,8 +198,6 @@ PolynomialSetCategory(R:Ring, E:OrderedAbelianMonoidSup,_ ps1 = ps2 == {p for p in elements(ps1)} =$(Set P) {p for p in elements(ps2)} - exactQuo : (R,R) -> R - localInf? (p:P,q:P):B == degree(p) <$E degree(q) @@ -260,13 +258,9 @@ PolynomialSetCategory(R:Ring, E:OrderedAbelianMonoidSup,_ LPR ==> List Polynomial R LS ==> List Symbol - if R has EuclideanDomain - then - exactQuo(r:R,s:R):R == - r quo$R s - else - exactQuo(r:R,s:R):R == - (r exquo$R s)::R + exactQuo(r:R,s:R):R == + if R has EuclideanDomain then r quo$R s + else (r exquo$R s)::R headRemainder (a,ps) == lp1 : List(P) := remove(zero?, elements(ps))$(List(P)) @@ -884,23 +878,24 @@ Note that this code is not included in the generated catdef.spad file. ('T 'NIL))) (DEFUN |PSETCAT-;exactQuo| (|r| |s| $) - (SPADCALL |r| |s| (QREFELT $ 59))) - -(DEFUN |PSETCAT-;exactQuo| (|r| |s| $) - (PROG (#0=#:G1504) + (PROG (#0=#:G1503) (RETURN - (PROG2 (LETT #0# (SPADCALL |r| |s| (QREFELT $ 61)) - |PSETCAT-;exactQuo|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) (QREFELT $ 7) #0#))))) - -(DEFUN |PSETCAT-;headRemainder;PSR;23| (|a| |ps| $) - (PROG (|lp1| |p| |e| |g| |#G47| |#G48| |lca| |lcp| |r| |lp2|) + (COND + ((|HasCategory| (QREFELT $ 7) '(|EuclideanDomain|)) + (SPADCALL |r| |s| (QREFELT $ 59))) + ('T + (PROG2 (LETT #0# (SPADCALL |r| |s| (QREFELT $ 61)) + |PSETCAT-;exactQuo|) + (QCDR #0#) + (|check-union| (QEQCAR #0# 0) (QREFELT $ 7) #0#))))))) + +(DEFUN |PSETCAT-;headRemainder;PSR;22| (|a| |ps| $) + (PROG (|lp1| |p| |e| |g| |#G45| |#G46| |lca| |lcp| |r| |lp2|) (RETURN (SEQ (LETT |lp1| (SPADCALL (ELT $ 43) (|PSETCAT-;elements| |ps| $) (QREFELT $ 26)) - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (EXIT (COND ((NULL |lp1|) (CONS |a| (|spadConstant| $ 62))) ((SPADCALL (ELT $ 24) |lp1| (QREFELT $ 44)) @@ -908,7 +903,7 @@ Note that this code is not included in the generated catdef.spad file. (|spadConstant| $ 62))) ('T (SEQ (LETT |r| (|spadConstant| $ 62) - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (LETT |lp1| (SPADCALL (CONS @@ -917,9 +912,9 @@ Note that this code is not included in the generated catdef.spad file. (REVERSE (|PSETCAT-;elements| |ps| $)) (QREFELT $ 46)) - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (LETT |lp2| |lp1| - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (SEQ G190 (COND ((NULL (COND @@ -930,13 +925,13 @@ Note that this code is not included in the generated catdef.spad file. (QREFELT $ 29))))) (GO G191))) (SEQ (LETT |p| (|SPADfirst| |lp2|) - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (LETT |e| (SPADCALL (SPADCALL |a| (QREFELT $ 41)) (SPADCALL |p| (QREFELT $ 41)) (QREFELT $ 64)) - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (EXIT (COND ((QEQCAR |e| 0) @@ -946,26 +941,26 @@ Note that this code is not included in the generated catdef.spad file. (LETT |lca| (SPADCALL |a| (QREFELT $ 65)) - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (LETT |lcp| (SPADCALL |p| (QREFELT $ 65)) - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (QREFELT $ 66)) - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (PROGN - (LETT |#G47| + (LETT |#G45| (|PSETCAT-;exactQuo| |lca| |g| $) - |PSETCAT-;headRemainder;PSR;23|) - (LETT |#G48| + |PSETCAT-;headRemainder;PSR;22|) + (LETT |#G46| (|PSETCAT-;exactQuo| |lcp| |g| $) - |PSETCAT-;headRemainder;PSR;23|) - (LETT |lca| |#G47| - |PSETCAT-;headRemainder;PSR;23|) - (LETT |lcp| |#G48| - |PSETCAT-;headRemainder;PSR;23|)) + |PSETCAT-;headRemainder;PSR;22|) + (LETT |lca| |#G45| + |PSETCAT-;headRemainder;PSR;22|) + (LETT |lcp| |#G46| + |PSETCAT-;headRemainder;PSR;22|)) (LETT |a| (SPADCALL (SPADCALL |lcp| @@ -979,17 +974,17 @@ Note that this code is not included in the generated catdef.spad file. (QREFELT $ 63)) (QREFELT $ 69)) (QREFELT $ 70)) - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (LETT |r| (SPADCALL |r| |lcp| (QREFELT $ 71)) - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) (EXIT (LETT |lp2| |lp1| - |PSETCAT-;headRemainder;PSR;23|)))) + |PSETCAT-;headRemainder;PSR;22|)))) ('T (LETT |lp2| (CDR |lp2|) - |PSETCAT-;headRemainder;PSR;23|))))) + |PSETCAT-;headRemainder;PSR;22|))))) NIL (GO G190) G191 (EXIT NIL)) (EXIT (CONS |a| |r|)))))))))) @@ -1015,15 +1010,15 @@ Note that this code is not included in the generated catdef.spad file. (QCDR |frac|)) (EXIT |frac|))))))))) -(DEFUN |PSETCAT-;remainder;PSR;25| (|a| |ps| $) +(DEFUN |PSETCAT-;remainder;PSR;24| (|a| |ps| $) (PROG (|hRa| |r| |lca| |g| |b| |c|) (RETURN (SEQ (LETT |hRa| (|PSETCAT-;makeIrreducible!| (SPADCALL |a| |ps| (QREFELT $ 78)) $) - |PSETCAT-;remainder;PSR;25|) - (LETT |a| (QCAR |hRa|) |PSETCAT-;remainder;PSR;25|) - (LETT |r| (QCDR |hRa|) |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) + (LETT |a| (QCAR |hRa|) |PSETCAT-;remainder;PSR;24|) + (LETT |r| (QCDR |hRa|) |PSETCAT-;remainder;PSR;24|) (EXIT (COND ((SPADCALL |a| (QREFELT $ 43)) (VECTOR (|spadConstant| $ 62) |a| |r|)) @@ -1032,16 +1027,16 @@ Note that this code is not included in the generated catdef.spad file. (SPADCALL (|spadConstant| $ 62) (SPADCALL |a| (QREFELT $ 41)) (QREFELT $ 68)) - |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) (LETT |c| (SPADCALL |a| (QREFELT $ 65)) - |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) (SEQ G190 (COND ((NULL (SPADCALL (SPADCALL (LETT |a| (SPADCALL |a| (QREFELT $ 63)) - |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) (QREFELT $ 43)) (QREFELT $ 29))) (GO G191))) @@ -1049,20 +1044,20 @@ Note that this code is not included in the generated catdef.spad file. (|PSETCAT-;makeIrreducible!| (SPADCALL |a| |ps| (QREFELT $ 78)) $) - |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) (LETT |a| (QCAR |hRa|) - |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) (LETT |r| (SPADCALL |r| (QCDR |hRa|) (QREFELT $ 71)) - |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) (LETT |g| (SPADCALL |c| (LETT |lca| (SPADCALL |a| (QREFELT $ 65)) - |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) (QREFELT $ 66)) - |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) (LETT |b| (SPADCALL (SPADCALL @@ -1075,14 +1070,14 @@ Note that this code is not included in the generated catdef.spad file. (SPADCALL |a| (QREFELT $ 41)) (QREFELT $ 68)) (QREFELT $ 79)) - |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) (EXIT (LETT |c| |g| - |PSETCAT-;remainder;PSR;25|))) + |PSETCAT-;remainder;PSR;24|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT (VECTOR |c| |b| |r|)))))))))) -(DEFUN |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26| (|ps| |cs| $) +(DEFUN |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25| (|ps| |cs| $) (PROG (|p| |rs|) (RETURN (SEQ (COND @@ -1091,14 +1086,14 @@ Note that this code is not included in the generated catdef.spad file. (LIST (|spadConstant| $ 84))) ('T (SEQ (LETT |ps| (SPADCALL (ELT $ 43) |ps| (QREFELT $ 26)) - |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|) + |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|) (EXIT (COND ((NULL |ps|) |ps|) ((SPADCALL (ELT $ 24) |ps| (QREFELT $ 44)) (LIST (|spadConstant| $ 75))) ('T (SEQ (LETT |rs| NIL - |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|) + |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|) (SEQ G190 (COND ((NULL @@ -1107,14 +1102,14 @@ Note that this code is not included in the generated catdef.spad file. (GO G191))) (SEQ (LETT |p| (|SPADfirst| |ps|) - |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|) + |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|) (LETT |ps| (CDR |ps|) - |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|) + |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|) (LETT |p| (QCAR (SPADCALL |p| |cs| (QREFELT $ 78))) - |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|) + |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|) (EXIT (COND ((NULL @@ -1125,12 +1120,12 @@ Note that this code is not included in the generated catdef.spad file. (QREFELT $ 24)) (SEQ (LETT |ps| NIL - |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|) + |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|) (EXIT (LETT |rs| (LIST (|spadConstant| $ 75)) - |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|)))) + |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)))) ('T (SEQ (SPADCALL |p| @@ -1138,11 +1133,11 @@ Note that this code is not included in the generated catdef.spad file. (EXIT (LETT |rs| (CONS |p| |rs|) - |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|))))))))) + |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|))))))))) NIL (GO G190) G191 (EXIT NIL)) (EXIT (SPADCALL |rs| (QREFELT $ 86)))))))))))))) -(DEFUN |PSETCAT-;rewriteIdealWithRemainder;LSL;27| (|ps| |cs| $) +(DEFUN |PSETCAT-;rewriteIdealWithRemainder;LSL;26| (|ps| |cs| $) (PROG (|p| |rs|) (RETURN (SEQ (COND @@ -1151,14 +1146,14 @@ Note that this code is not included in the generated catdef.spad file. (LIST (|spadConstant| $ 84))) ('T (SEQ (LETT |ps| (SPADCALL (ELT $ 43) |ps| (QREFELT $ 26)) - |PSETCAT-;rewriteIdealWithRemainder;LSL;27|) + |PSETCAT-;rewriteIdealWithRemainder;LSL;26|) (EXIT (COND ((NULL |ps|) |ps|) ((SPADCALL (ELT $ 24) |ps| (QREFELT $ 44)) (LIST (|spadConstant| $ 75))) ('T (SEQ (LETT |rs| NIL - |PSETCAT-;rewriteIdealWithRemainder;LSL;27|) + |PSETCAT-;rewriteIdealWithRemainder;LSL;26|) (SEQ G190 (COND ((NULL @@ -1167,15 +1162,15 @@ Note that this code is not included in the generated catdef.spad file. (GO G191))) (SEQ (LETT |p| (|SPADfirst| |ps|) - |PSETCAT-;rewriteIdealWithRemainder;LSL;27|) + |PSETCAT-;rewriteIdealWithRemainder;LSL;26|) (LETT |ps| (CDR |ps|) - |PSETCAT-;rewriteIdealWithRemainder;LSL;27|) + |PSETCAT-;rewriteIdealWithRemainder;LSL;26|) (LETT |p| (QVELT (SPADCALL |p| |cs| (QREFELT $ 88)) 1) - |PSETCAT-;rewriteIdealWithRemainder;LSL;27|) + |PSETCAT-;rewriteIdealWithRemainder;LSL;26|) (EXIT (COND ((NULL @@ -1186,19 +1181,19 @@ Note that this code is not included in the generated catdef.spad file. (QREFELT $ 24)) (SEQ (LETT |ps| NIL - |PSETCAT-;rewriteIdealWithRemainder;LSL;27|) + |PSETCAT-;rewriteIdealWithRemainder;LSL;26|) (EXIT (LETT |rs| (LIST (|spadConstant| $ 75)) - |PSETCAT-;rewriteIdealWithRemainder;LSL;27|)))) + |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)))) ('T (LETT |rs| (CONS (SPADCALL |p| (QREFELT $ 89)) |rs|) - |PSETCAT-;rewriteIdealWithRemainder;LSL;27|))))))) + |PSETCAT-;rewriteIdealWithRemainder;LSL;26|))))))) NIL (GO G190) G191 (EXIT NIL)) (EXIT (SPADCALL |rs| (QREFELT $ 86)))))))))))))) @@ -1252,19 +1247,19 @@ Note that this code is not included in the generated catdef.spad file. (PROGN (QSETREFV $ 73 (CONS (|dispatchFunction| - |PSETCAT-;headRemainder;PSR;23|) + |PSETCAT-;headRemainder;PSR;22|) $)) (QSETREFV $ 81 (CONS (|dispatchFunction| - |PSETCAT-;remainder;PSR;25|) + |PSETCAT-;remainder;PSR;24|) $)) (QSETREFV $ 87 (CONS (|dispatchFunction| - |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|) + |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|) $)) (QSETREFV $ 90 (CONS (|dispatchFunction| - |PSETCAT-;rewriteIdealWithRemainder;LSL;27|) + |PSETCAT-;rewriteIdealWithRemainder;LSL;26|) $))))))) $)))) -- cgit v1.2.3