open-axiom/src/algebra/ChangeLog, branch master

Annual ChangeLog rotation.

2008-01-01T23:13:10Z

SF/1850100

2007-12-16T19:07:09Z

* bags.spad.pamphlet (parts$Stack): Implement. (map$Stack): Likewise. (map!$Stack): Likewise.

* domain.spad (showSummary$Domain): New.

2007-12-12T17:35:47Z

* syntax.spad (case$Syntax): Add four overloads with flag

2007-12-12T07:59:44Z

parameters. Remove previous declaration. (conver$Syntax): Use cases to filter out erroneous input. (getOperator$Syntax): Remove dead code.

* syntax.spad (nil?$Syntax): New predicate.

2007-12-12T05:18:09Z

* syntax.spad (Syntax): Add explicit conversion functions from

2007-12-07T01:18:09Z

Syntax to Integer, DoubleFloat, Symbol, and String.

* syntax.spad (Syntax): Conversions to Integer, DoubleFloat,

2007-12-06T01:14:17Z

Symbol, and String are not implicit. (case$Syntax): New function. (getOperator$Syntax): Adjust.

src/algebra/

2007-12-03T13:08:30Z

2007-12-03 Gabriel Dos Reis * script-parser.spad: New. * Makefile.pamphlet (axiom_algebra_layer_19): Include PARSER.o (PARSER.NRLIB/code.$(FASLEXT)): New rule. * exposed.lsp.pamphlet: Expose Parser constructor. src/interp/ 2007-12-03 Gabriel Dos Reis * i-parser.boot: New. * Makefile.pamphlet (i-parser.$(FASLEXT)): New rule. (OBJS): Include i-parser.$(FASLEXT).

* aggcat.spad.pamphlet: Update cached Lisp translations.

2007-12-03T10:25:00Z

* bags.spad.pamphlet (Stack): Relax requirement element type S.

2007-12-02T18:04:48Z

(coerce$Stack: % -> OutputForm): Define only if S has CoercibleTo OutputForm. (=$Stack: (%, %) -> Boolean): Define only if S has SetCategory.