Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2016-01-17 | Rename Magma to FreeMagma | Gabriel Dos Reis | 1 | -18/+18 | |
A breeze, given previous compiler work. Renaming matches FriCAS's. | |||||
2015-12-30 | Use CoercibleTo category instances instead of ad-hoc hard-wired 'coerce: % ↵ | Gabriel Dos Reis | 1 | -30/+6 | |
-> T' signatures. | |||||
2015-12-30 | Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, ↵ | Gabriel Dos Reis | 1 | -5/+0 | |
central, noetherian, NullSquare, JacobiIdentity. | |||||
2011-03-12 | * src/algebra/: Systematically use not one? when comparing for | dos-reis | 1 | -2/+2 | |
equality with 1. | |||||
2009-10-15 | * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy. | dos-reis | 1 | -1/+1 | |
2009-06-11 | * algebra/: Don't quote '!' at end of names. | dos-reis | 1 | -2/+2 | |
2009-06-11 | * algebra/: Remove quotes from operator namaes in signatures. | dos-reis | 1 | -2/+2 | |
2008-08-30 | More boring explicit import. | dos-reis | 1 | -1/+49 | |
2008-04-03 | Replace `^=' with `~='. | dos-reis | 1 | -4/+4 | |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+1216 | |