open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2013-05-20	Update databases	dos-reis	1	-1/+1

2013-05-19	Eradicate attribute shallowlyMutable.	dos-reis	1	-3/+3

2013-05-19	Use ShallowlyMutableAggregate.	dos-reis	1	-1/+1

2013-05-19	* algebra/newdata.spad.pamphlet (SplittingTree): Include	dos-reis	1	-25/+25
	ShallowlyMutableAggregate S in exports. * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude ShallowlyMutableAggregate P. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
2013-05-19	* algebra/aggcat.spad.pamphlet (Aggregate) [#]: Remove export.	dos-reis	1	-1/+1
	(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.
2013-05-19	* algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: New	dos-reis	1	-1/+1
	local function. [SFunction]: Use it.
2013-05-19	* algebra/cycles.spad.pamphlet (CycleIndicators)	dos-reis	1	-1/+1
	[complete,alternating]: Change input type to NonNegativeInteger.
2013-05-18	* algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute	dos-reis	1	-1/+1
	finiteAggregate.
2013-05-18	Tidy Collection	dos-reis	1	-1/+1

2013-05-18	Tidy	dos-reis	1	-1/+1

2013-05-18	* algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove.	dos-reis	1	-1/+1
	Remove redundant defaults.
2013-05-18	Add reduce overloads fo FiniteAggregate	dos-reis	1	-1/+1

2013-05-18	Remove parts from HomogeneousAggregate	dos-reis	1	-1/+1

2013-05-18	* algebra/aggcat.spad.pamphlet: Tidy.	dos-reis	1	-1/+1

2013-05-18	* algebra/mset.spad.pamphlet (Multiset) [unique]: Rename from	dos-reis	1	-8/+8
	members to avoid semantics clash.
2013-05-18	* algebra/aggcat.spad.pamphlet: Replace uses of parts by members.	dos-reis	1	-3/+3

2013-05-18	* algebra/attreg.spad.pamphlet (AttributeRegistry): Remove	dos-reis	1	-3/+3
	shallowlyMutble. * algebra/aggcat.spad.pamphlet (BagAggregate): Extend ShallowlyMutableAggregate. (ExtensibleLinearAggregate): Likewise. * algebra/mset.spad.pamphlet (Multiset): Likewise. * algebra/tree.spad.pamphlet (Tree): Likewise.
2013-05-18	* algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New.	dos-reis	1	-17/+17

2013-05-17	Update databases	dos-reis	1	-1/+1

2013-05-17	* algebra/aggcat.spad.pamphlet (FiniteAggregate): Add default	dos-reis	1	-4/+4
	implementation for empty?.
2013-05-17	* algebra/aggcat.spad.pamphlet (TableAggregate): Now extend	dos-reis	1	-1/+1
	FiniteAggregate Record(key:Key,entry:Entry). * algebra/files.spad.pamphlet (KeyedAccessFile): Remove finiteAggregate attribute. * algebra/table.spad.pamphlet (HashTable): Likewise. (InnerTable): Likewise. (Table): Likewise.
2013-05-17	* algebra/aggcat.spad.pamphlet (KeyedDictionary): Now extend	dos-reis	1	-1/+1
	IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify.
2013-05-17	Update database	dos-reis	1	-1/+1

2013-05-16	* algebra/sortpak.spad.pamphlet (SortPackage): Have second	dos-reis	1	-1/+1
	parameter satisfy FiniteAggregate A instead of requiring attribute finiteAggregate. * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now extends FiniteAggregate. Remove finiteAggregate attribute.
2013-05-16	* algebra/polset.spad.pamphlet (GeneralPolynomialSet): Remove	dos-reis	1	-1/+1
	redundant FiniteAggregate. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
2013-05-16	* algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarily	dos-reis	1	-1/+1
	include attribute finiteAggregate. (StackAggregate): Extend category FiniteAggregate instead of attribute finiteAggregate. (QueueAggregate): Likewise. (PriorityQueueAggregate): Likewise. (FiniteSetAggregate): Likewise. * algebra/lmdict.spad.pamphlet (ListMultiDictionary): Likewise. * algebra/matcat.spad.pamphlet (MatrixCategory): Likewise. * algebra/mset.spad.pamphlet (Multiset): Likewise. * algebra/newdata.spad.pamphlet (SplittingTree): Likewise. * algebra/polset.spad.pamphlet (PolynomialSetCategory): Likewise. * algebra/tree.spad.pamphlet (Tree): Likewise. (BinaryTreeCategory): Likewise. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. * algebra/vector.spad.pamphlet (DirectProductCategory): Likewise.
2013-05-16	* algebra/data.spad.pamphlet (Byte): Remove redundant	dos-reis	1	-1/+1
	finiteAggregate attribute. * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. (BinarySearchTree): Likewise. (BalancedBinaryTree): Likewise.
2013-05-16	* algebra/aggcat.spad.pamphlet (FiniteAggregate): New.	dos-reis	1	-15/+16
	* algebra/exposed.lsp.pamphlet: Expose it.
2013-05-14	* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):	dos-reis	1	-1/+1
	Remove redundant declaration for parts.
2013-05-13	Update databases	dos-reis	1	-1/+1

2013-05-13	Remove IndecedVector.	dos-reis	1	-18/+17

2013-05-13	* algebra/carten.spad.pamphlet (CartesianTensor): Use	dos-reis	1	-1/+1
	PrimitiveArray in lieu of 0-based IndexedVector.
2013-05-12	fix databases corruption	dos-reis	1	-1/+1

2013-05-12	* algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove.	dos-reis	1	-1/+1
	(SquareMatrix) [ZERO, ONE]: Likewise.
2013-05-12	* algebra/catdef.spad.pamphlet (OrderedRing): Extend	dos-reis	1	-1/+1
	CharactericZero too.
2013-05-11	* algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Rename	dos-reis	1	-7/+7
	from InnerIndexedTwoDimensionalArray. Adjust users.
2013-05-11	Remove IndexedTwoDimensionalArray.	dos-reis	1	-6/+6

2013-05-11	Remove IndexedMatrix as unused	dos-reis	1	-12/+12

2013-05-11	Introduce opcodes for arrays constructions	dos-reis	1	-1/+1

2013-05-10	Add opposite? and annihilate? exports.	dos-reis	1	-29/+29

2013-05-09	* algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)	dos-reis	1	-4/+4
	[combineWithIf]: New.
2013-05-07	Tidy indexed direct product domains	dos-reis	1	-1/+1

2013-05-07	* algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.	dos-reis	1	-5/+6

2012-02-25	* algebra/catdef.spad.pamphlet (BinaryOperatorCategory): New.	dos-reis	1	-69/+70
	(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-19	* interp/br-data.boot (libConstructorSig): Rename T$ to T for	dos-reis	1	-1/+1
	external name printing. Do not call ncParseFromString.
2012-02-15	* algebra/catdef.spad.pamphlet (Ring): Extends SemiRing.	dos-reis	1	-3/+3
	(Dioid): New. Extend OrderedAbelianMonoid and SemiRing. * algebra/exposed.lsp.pamphlet: Expose Dioid.
2012-02-07	* interp/lisplib.boot (dbLocateModule): New.	dos-reis	1	-80/+81
	(findModule): Use it. Simplify. (loadLib): Tidy. (genericLoadDB): New. (loadDB): Use it. (loadDBIfCan): New. * interp/c-util.boot (lookupDefiningFunction): Give up gracefully if the domain of computation is not compiled yet. * algebra/Makefile.in ($(OUT)/SPADAST.$(FASLEXT)): Require $(OUT)/SUCHTAST.$(FASLEXT).
2012-02-03	* config/open-axiom.m4 (OPENAXIOM_ALIGNAS_SPECIFIER): New.	dos-reis	1	-4/+4
	(OPENAXIOM_CHECK_MISC): Use it. src/ * utils/vm.H: Add more VM data structures. * utils/vm.cc (BasicContext::make_operator): Define. * algebra/Makefile.in (SPADFILES): Include syntax.spad and spad-parser.spad.
2012-01-14	* algebra/catdef.spad.pamphlet (Finite) [random]: Provide default	dos-reis	1	-97/+96
	implementation. * algebra/boolean.spad.pamphlet (KleeneTrivalentLogic): Now satisfy Finite. Use Maybe Boolean as representation.
2011-10-26	* interp/postpar.boot (postSignature): Tidy.	dos-reis	1	-1/+1
	* interp/parse.boot (transCategoryItem): Remove as dead code. * interp/lisplib.boot (finalizeLisplib): Remove use of removeZeroOne. * interp/cattable.boot (categoryParts): Tidy.