open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2016-02-07	PolynomialCategoryLifting: Weaken constraint on that parameter	Gabriel Dos Reis	1	-1/+1
2016-01-22	Remove antiquated syntax for operator declaration.	Gabriel Dos Reis	1	-1/+1
2013-05-20	Use Functorial more often.	dos-reis	1	-5/+4
2011-10-24	* interp/compiler.boot (compOrCroak1): Drop last argument. Tidy.	dos-reis	1	-2/+6
2011-08-20	* algebra/polycat.spad.pamphlet (UnivariatePolynomialCategory)	dos-reis	1	-1/+1
2011-08-14	Remove redundant capsule-level declarations	dos-reis	1	-1/+1
2011-03-12	* src/algebra/: Systematically use negative? when comparing for	dos-reis	1	-4/+4
2011-03-10	* algebra/catdef.spad.pamphlet (CharacteristicNonZero)	dos-reis	1	-9/+9
2011-03-09	* algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Now	dos-reis	1	-10/+10
2010-06-24	* algebra/outform.spad.pamphlet: Cleanup.	dos-reis	1	-2/+0
2010-06-13	* algebra/padic.spad.pamphlet (InnerPAdicInteger) [coerce]: Tidy.	dos-reis	1	-1/+0
2009-10-15	* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.	dos-reis	1	-1/+1
2009-08-16	* interp/i-map.boot (addMap): Fix typo from last commit.	dos-reis	1	-1/+1
2009-06-11	* algebra/: Don't quote '!' at end of names.	dos-reis	1	-5/+5
2009-06-11	* algebra/: Remove quotes from operator namaes in signatures.	dos-reis	1	-4/+4
2009-05-29	* algebra/algext.spad.pamphlet: Qualify `characteristic'.	dos-reis	1	-2/+2
2009-05-25	Partial fix for AW/193 and AW/334.	dos-reis	1	-18/+18
2009-02-08	Fix AW/66	dos-reis	1	-4/+2
2008-09-18	* interp/c-util.boot (displayAmbiguousSignatures): New.	dos-reis	1	-1/+4
2008-08-16	* algebra/strap: New. Sequester cached Lisp translation of	dos-reis	1	-3428/+0
2008-05-11	Restrict loop variable scopes, take 2.	dos-reis	1	-0/+1
2008-04-14	Update cached Lisp translation.	dos-reis	1	-807/+949
2008-04-03	Replace `^=' with `~='.	dos-reis	1	-7/+7
2008-03-14	* algebra/catdef.spad.pamphlet: Update cached Lisp translation.	dos-reis	1	-3553/+3198
2007-08-14	Initial population.	dos-reis	1	-0/+4785