diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-20 06:27:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-20 06:27:51 +0000 |
| commit | c18e433b18430e31ac9b38fef9fc0a48b4ca77da (patch) | |
| tree | ae5f0d04c7a997eb2263b4821abccc9c27ba8e02 | |
| parent | 2b21dbe204cbf48aefdf0f2ac591d4f05722c4df (diff) | |
| download | open-axiom-c18e433b18430e31ac9b38fef9fc0a48b4ca77da.tar.gz | |
* algebra/polycat.spad.pamphlet (UnivariatePolynomialCategory)
[divide]: Tidy.
* algebra/Makefile.in (strap-0/%.$(FASLEXT)): Copy generated Lisp
files if keeping intermediate files.
| -rw-r--r-- | src/ChangeLog | 7 | ||||
| -rw-r--r-- | src/algebra/Makefile.in | 4 | ||||
| -rw-r--r-- | src/algebra/polycat.spad.pamphlet | 2 |
3 files changed, 11 insertions, 2 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index e8c5bec1..76d2390c 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,10 @@ +2011-08-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/polycat.spad.pamphlet (UnivariatePolynomialCategory) + [divide]: Tidy. + * algebra/Makefile.in (strap-0/%.$(FASLEXT)): Copy generated Lisp + files if keeping intermediate files. + 2011-08-19 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/category.boot (mkOr): Taken environment as parameter. diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 6ad6e102..50bc98de 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -514,7 +514,9 @@ strap-2/.finished: $(oa_strap_2_fasls) strap-0/%.$(FASLEXT): %.spad strap-0/.started $(BOOTSTRAP) --sysalg=strap-0 --bootstrap $< \ - && cp $*.NRLIB/code.$(FASLEXT) $@ + && cp $*.NRLIB/code.$(FASLEXT) $@ && \ + if test x@oa_keep_files@ = xyes; then \ + cp $*.NRLIB/code.lsp strap-0/$*.lsp; fi strap-1/%.$(FASLEXT): %.spad strap-1/.started $(BOOTSTRAP) --strap=strap-0 --sysalg=strap-1 --optimize=3 $< && \ diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet index 13e15053..4347438f 100644 --- a/src/algebra/polycat.spad.pamphlet +++ b/src/algebra/polycat.spad.pamphlet @@ -986,7 +986,7 @@ UnivariatePolynomialCategory(R:Ring): Category == degree x divide(x,y) == zero? y => error "division by 0 in Univariate Polynomials" - quot:=0 + quot: % := 0 lc := inv leadingCoefficient y while not zero?(x) and (degree x >= degree y) repeat f:=lc*leadingCoefficient x |