aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2010-04-18 * algebra/term.spad.pamphlet (TermAlgebraOperator): New.dos-reis1-1/+1
2010-04-04 * algebra/boolean.spad.pamphlet (BooleanLogic): New.dos-reis1-2/+4
(PropositionalLogic): Extend it. * algebra/aggcat.spad.pamphlet (BitAggregate): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Assert membership to BooleanLogic.
2010-04-04 * algebra/boolean.spad.pamphlet (PropositionalFormulaFunctions1): New.dos-reis1-6/+8
(PropositionalFormulaFunctions2): Likewise.
2010-03-12 * algebra/compiler.spad.pamphlet: New.dos-reis1-1/+5
(InternalTypeForm): New. (Elaboration): New.
2010-03-12 * algebra/compiler.spad.pamphlet: New.dos-reis1-1/+2
2010-03-12 * algebra/syntax.spad.pamphlet (InternalRepresentationForm): New.dos-reis1-1/+3
2010-03-05 * interp/sys-globals.boot ($optimizeRep): Define.dos-reis1-42/+87
* interp/sys-driver.boot (initializeGlobalState): Sey domain representation inlining if requested. * interp/c-util.boot (setCompilerOptimizations): Set domain representation inlining if at optimization level 3. * algebra/constant.spad.pamphlet (AlgebraicNumber): Remove assignment to Rep. Tidy. * algebra/Makefile.pamphlet: Add dependencies.
2010-02-21 * algebra/boolean.spad.pamphlet (PropositionalFormula):dos-reis1-2/+6
Reimplement in terms of kernels. * algebra/Makefile.pamphlet ($(OUT)/KERNEL.$(FASLEXT)): New dependence rule. ($(OUT)PROPFRML.$(FASLEXT)): Likewise. (axiom_algebra_layer_19): Move PROPFRML to... (axiom_algebra_layer_6): ...here.
2010-02-17 * interp/sys-constants.boot ($SystemInlinableConstructorNames):dos-reis1-2/+5
Include Void. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include VOID. (axiom_algebra_layer_14): Loose it.
2009-11-17 * algebra/syntax.spad.pamphlet (StepAst): New.dos-reis1-1/+3
(SpadAstExports): Add case for StepAst. (SpadAst): Implement.
2009-11-09 Fix SF/2893009dos-reis1-2/+3
* algebra/syntax.spad.pamphlet (ParameterAst): New. (HeadAst): Use it. * testsuite/interpreter/sf-2893009.input: Likewise. * testsuite/interpreter/sf-2893009.spad: New.
2009-10-29 * algebra/seg.spad.pamphlet (RangeBinding): New.dos-reis1-1/+1
(SegmentBinding): Tidy. * algebra/exposed.lsp.pamphlet (RangeBinding): Expose. * algebra/Makefile.pamphlet (axiom_algebra_layer_19): Include RNGBIND.
2009-10-15 * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.dos-reis1-1/+1
2009-09-27 * algebra/free.spad.pamphlet (FreeMonoidCategory): New.dos-reis1-1/+1
(FreeModule): Use it. * algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Likewise.
2009-09-08 * boot/ast.boot: Support "pointer" as simple datatype.dos-reis1-1/+2
* interp/compiler.boot (getBasicFFIType): SystemPointer is an FFI type. * algebra/data.spad.pamphlet (SystemPointer): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include SYSPTR.
2009-06-07 * algebra/domain.spad.pamphlet (DomainTemplate): New.dos-reis1-1/+4
(FunctorData): Likewise. (functorData$DomainConstructor): Likewise.
2009-05-31 * algebra/term.spad.pamphlet (is?$OperatorCategory): New.dos-reis1-8/+11
* algebra/op.spad.pamphlet (BasicOperator): Don't export is? here. Inherit it from OperatorCategory Symbol. * algebra/catdef.spad.pamphlet (LeftLinearSet): New category. (RightLinearSet): Likewise. (LinearSet): Likewise. (AbelianGroup): Extend LeftLinearSet Integer. (LeftModule): Extend LeftLinearSet R. (Module): Extend LinearSet R. (RightModule): Extend RightLinearSet R. * algebra/exposed.lsp.pamphlet: Expose LeftLinearSet, RightLinearSet, and LinearSet. * algebra/Makefile.pamphlet: Tidy.
2009-05-25(no commit message)dos-reis1-2/+2
2009-05-25Tidy Makefiledos-reis1-8/+9
2009-05-16 * algebra/any.spad.pamphlet: Tidy. Redeuce Lisp usage.dos-reis1-2/+9
2009-05-14 * algebra/any.spad.pamphlet (RuntimeValue): New domain.dos-reis1-1/+3
* algebra/Makefile.pamphlet ($(OUT)/RTVALUE.$(FASLEXT)): New rule.
2009-05-13 * configure.ac.pamphlet: Disable use of libtool to build shareddos-reis1-1/+1
libraries. * config: Update autotools to newer versions. src/ * algebra/kl.spad.pamphlet (MakeCachableSet): Remove. * algebra/Makefile.pamphlet (axiom_algebra_layer_6): Don't build it.
2009-04-26 * algebra/newpoint.spad.pamphlet (point$Point): Call vector$Vector.dos-reis1-3/+3
* algebra/array1.spad.pamphlet (fill!$PrimitiveArray): Use builtin operation.
2009-04-25 * algebra/strap/PRIMARR.lsp: Remove.dos-reis1-5/+8
2009-04-24(no commit message)dos-reis1-4/+2
2009-04-24 * algebra/strap/ULSCAT.lsp: Remove.dos-reis1-3/+2
2009-04-24 * algebra/strap/UPOLYC.lsp: Remove.dos-reis1-2/+7
* algebra/strap/UPOLYC-.lsp: Likewise.
2009-04-24 * algebra/strap/PSETCAT-.lsp: Remove.dos-reis1-7/+12
* algebra/strap/PSETCAT.lsp: Likewise.
2009-04-23 * algebra/strap/TSETCAT.lsp: Remove.dos-reis1-5/+5
* algebra/strap/TSETCAT-.lsp: Likewise.
2009-04-23 * interp/c-util.boot (extendsCategoryForm): Use current categorydos-reis1-13/+18
body instead of previous previous version of it. * algebra/Makefile.pamphlet: Remove ES from bootstrap layer. Build it (and dependencies) at layer 1. * algebra/strap/ES.lsp: Remove. * algebra/strap/ES-.lsp: Likewise. * algebra/boolean.spad.pamphlet (Boolean): Don't use outputForm.
2009-04-23 * interp/sys-constants.boot ($SystemInlinableConstructorNames):dos-reis1-4/+4
Include Identifier. * interp/compiler.boot (compElt): Fix up 0 and 1 shenannigan. * algebra/boolean.spad.pamphlet (Reference): Use Identifier. * algebra/Makefile.pamphlet (axiom_algebra_bootstrap): Remove REF. (axiom_algebra_bootstrap_last_layer): Likewise. * algebra/strap/REF.lsp: Remove.
2009-04-22 * algebra/Makefile.pamphlet: Move aggregates to layer 0.dos-reis1-21/+38
2009-04-21 * algebra/Makefile.pamphlet: Move aggregates to layer 0.dos-reis1-21/+68
2009-04-21 * algebra/Makefile.pamphlet: Move aggregates to layer 0.dos-reis1-23/+46
2009-04-21 * algebra/Makefile.pamphlet: Move aggregates to layer 0.dos-reis1-16/+30
2009-04-21 * algebra/Makefile.pamphlet: Move Fortran domains to user layer.dos-reis1-496/+21
2009-04-20 * interp/sys-constants.boot ($Identifier): New.dos-reis1-0/+2
* interp/compiler.boot (compQuote): Use the target mode if appropriate. * interp/i-spec2.boot (upQUOTE): Likewise. * algebra/syntax.spad.pamphlet: Use Identifier in lieu of Symbol.
2009-04-18 * algebra/mkfunc.spad.pamphlet (InputForm): Remove assignment to Rep.dos-reis1-1/+1
(convert): Use per and rep operators. * algebra/stap: Updated cached Lisp translation.
2009-03-26 * boot/ast.boot (nativeType): Accept int16 and int32.dos-reis1-1/+2
(getFFIDatatype): Accept ReadWrite modifier. * algebra/data.spad.pamphlet (Int32): New. (UInt64): Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT64 and UINT64.
2009-02-07 * algebra/system.spad.pamphlet (hostByteOrder$System): New.dos-reis1-1/+3
* algebra/data.spad.pamphlet (ByteOrder): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include BYTEORD.
2009-02-04 * algebra/gaussian.spad.pamphlet (ComplexCategory): Reinstatedos-reis1-7/+20
attribute 'complex'. * algebra/Makefile.pamphlet: Tidy.
2009-02-04 * algebra/Makefile.pamphlet: Tidy.dos-reis1-189/+45
2009-02-02 * algebra/domain.spad.pamphlet (FunctionDescriptor): New.dos-reis1-2/+3
(OverloadSet): Likewise. (operations$ConstructorCategory): Likewise. * share/algebra: Update databases.
2009-02-01 * algebra/Makefile.pamphlet: Tidy layer 0 dependency.dos-reis1-6/+40
SETCAT and SETCAT- are no longer required for bootstrap. * algebra/SETCAT.lsp: Remove. * algebra/SETCAT-.lsp: Likewise.
2009-01-13 * algebra/net.spad.pamphlet (InputByteConduit): Add readInt8!,dos-reis1-1/+1
readInt16!, readInt32!, readUInt8!, readUInt16!, readUInt32!.
2009-01-09 * algebra/data.spad.pamphlet (Byte): Satisfy OrderedFinite.dos-reis1-4/+5
(SystemInteger, SystemNonNegativeInteger, Int8, Int16, Int32, UInt8, UInt 16, UInt32): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT8, INT16, INT32, UINT8, UINT16, UINT32.
2008-12-26 r12485@gauss: gdr | 2008-12-17 16:26:21 -0600dos-reis1-11/+10
Branch to improve reflection. r12493@gauss: gdr | 2008-12-20 23:29:51 -0600 Add domain representations for constructors. r12494@gauss: gdr | 2008-12-21 14:27:37 -0600 Consolidate constructor domains. r12502@gauss: gdr | 2008-12-22 20:36:21 -0600 Constructors are values. r12504@gauss: gdr | 2008-12-25 13:58:01 -0600 r12505@gauss: gdr | 2008-12-25 18:48:04 -0600 Commit ChangeLog.
2008-12-09 * algebra/term.spad.pamphlet: New. Implement Arity anddos-reis1-2/+2
OperatorCategory. * algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include ARITY. (axiom_algebra_layer_16): Include OPERCAT. * share/algebra: Update databases.
2008-11-20 * algebra/wtpol.spad.pamphlet (WeightedPolynomials): Nodos-reis1-3/+4
HomotopicTo P. (OrdinaryWeightedPolynomials): Likewise. * algebra/modmonom.spad.pamphlet (ModuleMonomial): Now HomotopicTo MM. * algebra/matrix.spad.pamphlet (coerce$RectangularMatrix): Remove redundant signature. * algebra/lodop.spad.pamphlet (OrdinaryDifferentialRing): Now HomotopicTo HomotopicTo R. * algebra/alql.spad.pamphlet (DataList): Now HomotopicTo List S. * algebra/array1.spad.pamphlet (Tuple): Now HomotopicTo PrimitiveArray S. * algebra/kl.spad.pamphlet (CachableSet): Now HomotopicTo S. * algebra/java.spad.pamphlet (JavaBytecode): Now HomotopicTo Byte. * algebra/fname.spad.pamphlet (FileNameCategory): Extends HomotopicTo String. * algebra/data.spad.pamphlet (Byte): Now HomotopicTo Character.
2008-11-20 * algebra/coerce.spad.pamphlet (HomotopicTo): New.dos-reis1-1/+1
* algebra/exposed.lsp.pamphlet: Expose it. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOMOTOP.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-06 17:08:59 +0000