aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/exposed.lsp.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2016-01-17Rename Magma to FreeMagmaGabriel Dos Reis1-1/+1
A breeze, given previous compiler work. Renaming matches FriCAS's.
2013-06-18 * algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New.dos-reis1-0/+2
(CommutativeOperation): Likewise. * algebra/Makefile.am (oa_algebra_layer_0): Include them.
2013-06-16Recipe Make recipes.dos-reis1-1/+0
2013-05-22 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extenddos-reis1-0/+1
Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate.
2013-05-20 Use Functorial more often.dos-reis1-0/+1
2013-05-18 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New.dos-reis1-0/+1
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add defaultdos-reis1-0/+1
implementation for empty?.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): New.dos-reis1-0/+1
* algebra/exposed.lsp.pamphlet: Expose it.
2013-05-13 Remove IndecedVector.dos-reis1-1/+0
2013-05-11 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Renamedos-reis1-1/+1
from InnerIndexedTwoDimensionalArray. Adjust users.
2013-05-11 Remove IndexedTwoDimensionalArray.dos-reis1-1/+0
2013-05-11Remove IndexedMatrix as unuseddos-reis1-1/+0
2012-02-25 * algebra/catdef.spad.pamphlet (BinaryOperatorCategory): New.dos-reis1-0/+7
(BinaryOperation): Likewise. (IdempotentOperatorCategory): Likewise. (SemiGroupOperatorCategory): Likewise. (SemiGroupOperation): Likewise. (MonoidOperatorCategory): Likewise. (MonoidOperation): Likewise. * algebra/exposed.lsp.pamphlet: Expose them. * algebra/Makefile.in (oa_algebra_layer_0): Include IDEMOPC, SGPOPC, SPGOP, MONOPC, BINOPC. (axiom_algebra_layer_1): Include MONOP.
2012-02-15 * algebra/catdef.spad.pamphlet (Ring): Extends SemiRing.dos-reis1-0/+1
(Dioid): New. Extend OrderedAbelianMonoid and SemiRing. * algebra/exposed.lsp.pamphlet: Expose Dioid.
2011-10-16 * algebra/boolean.spad.pamphlet (Boolean): Implement defaultdos-reis1-0/+2
Boolean operators in terms of Logic operators. (PropositionalFormula): Implement Logic operators instead of Boolean operators. * algebra/exposed.lsp.pamphlet: Expose PropositionalFormulaFunctions1 and PropositionalFormulaFunctions2.
2011-09-20 * algebra/annacat.spad.pamphlet: Remove.dos-reis1-43/+2
* algebra/routines.spad.pamphlet: Likewise. * algebra/functions.spad.pamphlet: Likewise. * algebra/tools.spad.pamphlet: Likewise. * algebra/cont.spad.pamphlet: Likewise. * algebra/fortran.spad.pamphlet: Likewise. * algebra/fortmac.spad.pamphlet: Likewise. * algebra/fortpak.spad.pamphlet: Likewise.
2011-09-20 * algebra/asp.spad.pamphlet: Remove.dos-reis1-85/+0
* algebra/c02.spad.pamphlet: Likewise. * algebra/c05.spad.pamphlet: Likewise. * algebra/c06.spad.pamphlet: Likewise. * algebra/d01.spad.pamphlet: Likewise. * algebra/d02.spad.pamphlet: Likewise. * algebra/d03.spad.pamphlet: Likewise. * algebra/e01.spad.pamphlet: Likewise. * algebra/e02.spad.pamphlet: Likewise. * algebra/e04.spad.pamphlet: Likewise. * algebra/f01.spad.pamphlet: Likewise. * algebra/f02.spad.pamphlet: Likewise. * algebra/f04.spad.pamphlet: Likewise. * algebra/f07.spad.pamphlet: Likewise. * algebra/s.spad.pamphlet: Likewise. * algebra/d01Package.spad.pamphlet: Likewise. * algebra/d02Package.spad.pamphlet: Likewise. * algebra/d03Package.spad.pamphlet: Likewise. * algebra/e04Package.spad.pamphlet: Likewise. * algebra/d01agents.spad.pamphlet: Likewise. * algebra/d01routine.spad.pamphlet: Likewise. * algebra/d01transform.spad.pamphlet: Likewise. * algebra/d01weights.spad.pamphlet: Likewise. * algebra/d02agents.spad.pamphlet: Likewise. * algebra/d02routine.spad.pamphlet: Likewise. * algebra/d03agents.spad.pamphlet: Likewise. * algebra/d03routine.spad.pamphlet: Likewise. * algebra/e04agents.spad.pamphlet: Likewise. * algebra/e04routine.spad.pamphlet: Likewise.
2011-09-10 Remove IndexedList.dos-reis1-1/+0
* algebra/list.spad.pamphlet (IndexedList): Fold definition into List. Remove. * algebra/exposed.lsp.pamphlet: Don't expose ILIST. * algebra/Makefile.in: Adjust.
2011-09-09 * interp/g-opt.boot (optIadd): Remork.dos-reis1-1/+0
(optIsub): Likewise. (optIdec): New. * algebra/string.spad.pamphlet (IndexedString): Fold definition into String. Remove. (Character): Tidy. (CharacterClass): Likewise. * algebra/exposed.lsp.pamphlet: Do not expose ISTRING.
2011-08-10 * algebra/Makefile.in (oa_strap_0_sources): Don't include OM.dos-reis1-9/+0
(axiom_algebra_layer_0): Don't include OM, OMCONN, OMDEV. (axiom_algebra_layer_4): Don't include OMENC. (axiom_algebra_layer_14): Don't include OMPKG. (axiom_algebra_layer_19): Don't include OMERR, OMERRK. (axiom_algebra_layer_20): Don't include OMEXPR. * algebra/omcat.spad.pamphlet: Remove. * algebra/omdev.spad.pamphlet: Remove. * algebra/omerror.spad.pamphlet: Remove. * algebra/omserver.spad.pamphlet: Remove. * algebra/openmath.spad.pamphlet: Remove.
2011-07-04 * interp/setvars.boot: Remove support for script formula.dos-reis1-2/+0
* interp/setvart.boot: Likewise. * interp/diagnostics.boot (sayBrightlyNT1): Move from macros.lisp. (sayBrightly1): Likewise. (sayBrightlyNT): Likewise. (sayBrightly): Likewise. (sayBrightlyI): Likewise. (sayMSG): Likewise. (sayTeX): Likewise. (sayMSG2File): Likewise. * interp/i-output.boot (formulaFormat): Remove. (output): Adjust. * interp/macros.lisp (sayMSGNT): Remove. (sayFORTRAN): Likewise. (sayFORMULA): Likewise. ($formulaOutputstream): Likewise. * interp/sys-globals.boot ($formulaOutputstream): Remove. * interp/spad.lisp ($formulaFormat): Remove. * algebra/exposed.lsp.pamphlet: Do not expose ScriptFormulaFormat and ScriptFormulaFormat1. * algebra/exposed.lsp.pamphlet: Remove.
2011-03-08 * algebra/catdef.spad.pamphlet (SemiRing): New category.dos-reis1-0/+1
2010-07-03 * algebra/vector.spad.pamphlet (DualBasis): New.dos-reis1-0/+3
(LinearBasis): Likewise. (LinearElement): Use them. (LinearForm): New.
2010-06-30 * algebra/vector.spad.pamphlet (LinearElement): New.dos-reis1-0/+1
2010-06-29 * algebra/catdef.spad.pamphlet (OrderedType): New category.dos-reis1-0/+1
Extend BasicType.
2010-06-26 * algebra/string.spad.pamphlet (StringCategory): Remove.dos-reis1-1/+0
(String): Adjust.
2010-06-18 * algebra/catdef.spad.pamphlet (DifferentialModule): Tidy.dos-reis1-0/+1
(DifferentialModuleExtension): Likewise. (PartialDifferentialModule): New.
2010-06-18 * algebra/fparfrac.spad.pamphlet (FullPartialFractionExpansion):dos-reis1-0/+1
Now satisfies DifferentialSpace. * algebra/gseries.spad.pamphlet (GeneralUnivariatePowerSeries): Now satisfies an instance of PartialDifferentialDomain. * algebra/laurent.spad.pamphlet (UnivariateLaurentSeries): Likewise. * algebra/puiseux.spad.pamphlet (UnivariatePuiseuxSeries): Likewise. * algebra/suls.spad.pamphlet (SparseUnivariateLaurentSeries): Likewise. * algebra/supxs.spad.pamphlet (SparseUnivariatePuiseuxSeries): Likewise. * algebra/suts.spad.pamphlet (SparseUnivariateTaylorSeries): Likewise. * algebra/taylor.spad.pamphlet (UnivariateTaylorSeries): Likewise.
2010-06-17 * algebra/catdef.spad.pamphlet (DifferentialSpaceExtension): New.dos-reis1-0/+2
(DifferentialModuleExtension): Likewise.
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialModule): New.dos-reis1-0/+2
(PartialDifferentialDomain): Likewise.
2010-06-15Update cached databasedos-reis1-1/+2
2010-06-13 * algebra/catdef.spad.pamphlet (DifferentialDomain): New.dos-reis1-0/+1
2010-06-05 * algebra/exposed.lsp.pamphlet: Expose SquareMatrix.dos-reis1-0/+1
2010-06-04Expose BooleanLogicdos-reis1-0/+1
2010-04-22 * algebra/young.spad.pamphlet: New.dos-reis1-2/+2
2010-04-04 * algebra/boolean.spad.pamphlet (BooleanLogic): New.dos-reis1-0/+1
(PropositionalLogic): Extend it. * algebra/aggcat.spad.pamphlet (BitAggregate): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Assert membership to BooleanLogic.
2010-03-12 * algebra/syntax.spad.pamphlet (InternalRepresentationForm): New.dos-reis1-0/+1
2009-11-17 * algebra/syntax.spad.pamphlet (StepAst): New.dos-reis1-0/+1
(SpadAstExports): Add case for StepAst. (SpadAst): Implement.
2009-11-09 Fix SF/2893009dos-reis1-0/+1
* 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-0/+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-05-31 * algebra/term.spad.pamphlet (is?$OperatorCategory): New.dos-reis1-0/+3
* 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-13 * configure.ac.pamphlet: Disable use of libtool to build shareddos-reis1-1/+0
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.
2008-12-26 r12485@gauss: gdr | 2008-12-17 16:26:21 -0600dos-reis1-0/+2
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-0/+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/coerce.spad.pamphlet (HomotopicTo): New.dos-reis1-0/+1
* algebra/exposed.lsp.pamphlet: Expose it. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOMOTOP.
2008-11-20 * algebra/coerce.spad.pamphlet (CoercibleFrom): New.dos-reis1-0/+2
(ConvertibleFrom): Likewise. (RetractableTo): Use it. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include KRCFROM and KVTFROM. * share/algebra/: Update databases.
2008-10-24 Add basic support for stream client socket.dos-reis1-2/+5
* lib/sockio-c.c (oa_inet_pton): Define. (oa_get_host_address): Likewise. * algebra/net.spad.pamphlet (IP4Address): New. (NetworkClientSocket): Likewise. (InetClientStreamSocket): Likewise. * algebra/data.spad.pamphlet (DataArray): Rename from DataBuffer. (ByteBuffer): Rename from ByteArray. Reimplement. * algebra/exposed.lsp.pamphlet: Expose IP4Address, InetClientStreamSocket, NetworkClientSocket.
2008-10-22 * algebra/exposed.lsp.pamphlet: Unexpose BinaryFile.dos-reis1-1/+0
* algebra/files.spad.pamphlet (BinaryFile): Remove.
2008-10-22 * algebra/net.spad.pamphlet (InputOutputBinaryFile): New.dos-reis1-0/+1
(position$InputBinaryFile): New. (position!$InputBinaryFile): Likewise. * algebra/exposed.lsp.pamphlet: Expose InputOutputBinaryFile. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add IOBFILE.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 05:38:05 +0000