open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2011-03-12	* src/algebra/: Systematically use negative? when comparing for	dos-reis	1	-1/+1
	less than 0.
2010-05-02	* interp/compiler.boot (isSubset): Expand domain representation form.	dos-reis	1	-1/+1
	* algebra/term.spad.pamphlet (retractIfCan$Arity): Tidy. * algebra/tree.spad.pamphlet (cyclicCopy2$Tree): Remove unnecessary "return".
2010-04-18	* algebra/term.spad.pamphlet (TermAlgebraOperator): New.	dos-reis	1	-1/+20

2009-05-31	* algebra/term.spad.pamphlet (is?$OperatorCategory): New.	dos-reis	1	-3/+6
	* 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-09	* algebra/term.spad.pamphlet (zero?$Arity): New.	dos-reis	1	-2/+8
	(one?$Arity): Likewise. * algebra/op.spad.pamphlet (BasicOperator): Now belongs to OperatorCategory(Symbol). (operator$BasicOperator): One more overload. * algebra/expr.spad.pamphlet (operator$Expression): Tidy. * algebra/fspace.spad.pamphlet (elt$ExpressionSpace): Likewise. * algebra/kl.spad.pamphlet (kernel$Kernel): Likewise.
2008-12-26	r12485@gauss: gdr \| 2008-12-17 16:26:21 -0600	dos-reis	1	-7/+1
	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 and	dos-reis	1	-0/+132
	OperatorCategory. * algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include ARITY. (axiom_algebra_layer_16): Include OPERCAT. * share/algebra: Update databases.