aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
AgeCommit message (Collapse)AuthorFilesLines
2010-11-19(no commit message)dos-reis2-28/+27
2010-11-16 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %s2cdos-reis2-78/+169
builtin. * interp/g-util.boot (stringToChar): New. (expandCst): Use it. (expandS2c): Likewise. New. * interp/spad.lisp (|$Newline): Move to interp/sys-macros.lisp. * interp/sys-macros.lisp (|$Backspace): New. (|$HorizontalTab|): Likewise. (|$VerticalTab|): Likewise. (|$FormFeed|): Likewise. (|$CarriageReturn|): Likewise. * algebra/string.spad.pamphlet (Character) [newline]: New. [carriageReturn]: Likewise. [linefeed]: Likewise. [formfeed]: Likewise. [backspace]: Likewise. [horizontalTab]: Likewise. [verticalTab]: Likewise. [char]: Tidy.
2010-11-05 * algebra/Makefile.pamphlet: Likewise.dos-reis2-2039/+89
* interp/Makefile.pamphlet: Remove.
2010-10-27 * interp/c-util.boot (makeCommonEnvironment): Use list node pointerdos-reis4-10/+11
comparaison, not object comparaison.
2010-10-27 * algebra/boolean.spad.pamphlet (BooleanLogic) [~]: Add defaut.dos-reis3-14/+18
2010-10-27 * algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic.dos-reis5-16/+15
2010-10-27 * algebra/boolean.spad.pamphlet (Logic): Now extend Type.dos-reis62-253/+255
2010-09-07 * interp/c-util.boot (massageBackendCode): Remove conditional ondos-reis13-13/+13
$NEWSPAD since it always true. Keep note of Lisp-level special variable even if it is set with SETQ. (transformToBackendCode): Declare special variables before fluid and local variables. * interp/compiler.boot: Don't compile SETQ forms as if they were Spad codes.
2010-08-22Coerce symbol to string for error displayalfredoport1-3/+6
2010-08-22algebra/e04Package.spad.pamphlet (goodnessOfFit): Add explicit package call ↵alfredoport1-1/+1
to ErrorFunctions.
2010-08-21 External tool noweb is no longer required.dos-reis2-13/+13
* INSTALL: Update instructions. * Makefile.pamphlet: Remove rules for building noweb. (AXIOM_SRC_TARGETS): Include all-utils. * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for notangle and noweave. * config/setup-dep.mk: Remove rules for generating document. * config/var-def.mk: Remove NOTANGLE and NOWEAVE variables. * configure.ac: Instantiate Makefile for src/utils.
2010-08-15 * algebra/float.spad.pamphlet (Float): Tidy.dos-reis4-11/+17
* algebra/limitps.spad.pamphlet (ElementaryFunctionSign): Likewise. * algebra/view2D.spad.pamphlet (TwoDimensionalViewport): Likewise. * algebra/view2D.spad.pamphlet (ThreeDimensionalViewport): Likewise.
2010-07-29 * algebra/sf.spad.pamphlet (DoubleFloat): Use builtindos-reis2-35/+52
trigonometric functions. * interp/g-opt.boot ($VMsideEffectFreeOperators): Include them. * interp/g-util.boot: Expand them. * include/edible.H1: Move declarations to clef/edible.c. Remove. * driver/utils.h: Give G linkage to declarations. * sman/Makefile.in: Link programs against C++ runtime.
2010-07-28 * interp/sys-globals.boot ($VariableCount): Remove.dos-reis12-29/+35
* interp/spad.lisp (QUOTIENT2): Remove. (REMAINDER2): Likewise. * algebra/integer.spad.pamphlet (Integer): Use builtin %idivide. * algebra/si.spad.pamphlet (SingleInteger): Likewise.
2010-07-28 * algebra/integer.spad.pamphlet (Integer): Use builtin functionsdos-reis4-27/+30
%irem and %iquo. * algebra/si.spad.pamphlet (SingleInteger): Likewise.
2010-07-26 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include newdos-reis11-284/+302
opcodes %icst0, %icst1, %when, and %ccst. * interp/g-util.boot: Expand %ccst. * algebra/alql.spad.pamphlet: Clean up. * algebra/array1.spad.pamphlet: Likewise. * algebra/c02.spad.pamphlet: Likewise. * algebra/d03.spad.pamphlet: Likewise. * algebra/e04.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise.
2010-07-26 * algebra/si.spad.pamphlet (SingleInteger): Tidy.dos-reis2-196/+200
* interp/g-opt.boot (simplifyVMForm): Expand %icst0 and %icst1. (optIlt): Fold more configurations.
2010-07-26 * interp/g-opt.boot (optCond): Simplify newly built COND-expression.dos-reis2-38/+30
2010-07-25 * interp/g-opt.boot (optIadd): More simplification if either dos-reis1-1/+1
operand is zero. (optIsub): Likewise. (optImul): More simplifications if either operand is one.
2010-07-25 * interp/cattable.boot: Use %true for truth value in VM expressions.dos-reis44-2982/+2912
* interp/clam.boot: Likewise. * interp/define.boot: Likewise. * interp/format.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/mark.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/slam.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise. * interp/sys-constants.boot: Remove $true and $false as unused.
2010-07-23 * interp/g-opt.boot (optBind): Check for dependencies indos-reis8-73/+72
initializations in %bind expressions. * interp/g-util.boot (expandBind): The body of s %bind expression may be a sequence of statements.
2010-07-23 * interp/g-util.boot (expandFeq): New.dos-reis2-38/+40
* algebra/sf.spad.pamphlet (DoubleFloat): Tidy.
2010-07-22more cleanupdos-reis4-15/+27
2010-07-22 * interp/g-util.boot (expandIeq): New expander for %ieq.dos-reis7-28/+24
* interp/g-opt.boot (optIeq): New. (optIadd): Likewise. (optIsub): Likewise. (optImul): Likewise. (optIneg): Likewise. (lispize): Remove.
2010-07-22 * interp/g-opt.boot (simplifyVMForm): New.dos-reis20-103/+132
(optRetract): Simplify the predicate when possible. (optNot): New transformer. (optAnd): Likewise. (optOr): Likewise. (optIlt): Likewise. (optIle): Likewise. (optIgt): Likewise. (optIge): Likewise.
2010-07-22 * algebra/data.spad.pamphlet (Byte) [~]: Tidy.dos-reis1-4/+4
(SystemNonNegativeInteger) [~]: Likewise. * interp/g-util.boot: Better expansion of byte operations.
2010-07-19 * interp/g-opt.boot ($VMsideEffectFreeOperators): Includedos-reis4-35/+259
byte relation operators and bitmakst operators. * interp/g-util.boot: Expand them. * algebra/data.spad.pamphlet (Byte): Now satisfies Logic. Tidy. (SystemNonNegativeInteger): Likewise. * algebra/java.spad.pamphlet (JVMBytecode): Rename from JavaBytecode. (JVMClassFileAccess): New. (JVMFieldAccess): Likewise. (JVMMethodAccess): Likewise. (JVMConstantTag): Likewise. (JVMOpcode): Likewise.
2010-07-18More cleanupsdos-reis2-16/+38
2010-07-13small cleanupdos-reis1-2/+2
2010-07-13 * interp/g-opt.boot: %sname is a side-effect free operator.dos-reis1-2/+4
* interp/g-util.boot: Expand it. * algebra/syntax.spad.pamphlet (Identifer): Now satisfies CoercibleTo String.
2010-07-11Forgot to commit change thisdos-reis1-1/+1
2010-07-03 * algebra/vector.spad.pamphlet (DualBasis): New.dos-reis4-16/+122
(LinearBasis): Likewise. (LinearElement): Use them. (LinearForm): New.
2010-06-30 * algebra/vector.spad.pamphlet (LinearElement): New.dos-reis5-4/+60
2010-06-30 * interp/c-util.boot (getRepresentation): Tidy.dos-reis2-14/+16
* interp/define.boot (checkRepresentation): Don't compile the base domain here yet.
2010-06-30More cleanupsdos-reis1-8/+9
2010-06-30More cleanupsdos-reis1-17/+17
2010-06-29Various cleanupsdos-reis2-70/+54
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)dos-reis2-68/+89
[indexedDirectProductObject]: New. (IndexedDirectProductAbelianMonoid): Rework implementation. [construct]: Likewise.
2010-06-29 * algebra/catdef.spad.pamphlet (OrderedType): New.dos-reis3-5/+30
2010-06-29 * algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here.dos-reis15-154/+156
(OrderedType) [max,min]: Export and provide defaults. (OrderedSet): Simplify. (SetCategory) [before?]: Move to BasicType.
2010-06-29Update databasesdos-reis1-1/+2
2010-06-29 * algebra/catdef.spad.pamphlet (OrderedType): New category.dos-reis3-2/+44
Extend BasicType.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)dos-reis1-5/+7
[terms]: Rename from support.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory):dos-reis1-36/+45
Rework implementation.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)dos-reis1-2/+11
[support]: New. (IndexedDirectProductObject): Implement.
2010-06-27 * algebra/matcat.spad.pamphlet (MatrixCategory) [matrix]:dos-reis1-0/+12
Add overload that takes sizes and function to compute entries.
2010-06-27 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)dos-reis5-73/+74
[leftReducedSystem]: Rename from reducedSystem.
2010-06-26 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %vrefdos-reis1-19/+19
and %vlength. * interp/g-util.boot: Expand them. * algebra/array1.spad.pamphlet (PrimitiveArray): Use them. (IndexedOneDimensionalArray): Likewise.
2010-06-26Update databasesdos-reis1-6/+6
2010-06-26 * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Satisfydos-reis17-218/+250
BasicType if element type satisfies it.