aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
AgeCommit message (Collapse)AuthorFilesLines
2016-12-29Add Boot support for native load unit specification in foreignGabriel Dos Reis1-0/+1
function import.
2016-12-26 * interp/i-output.boot (appChar): Don't modify string parameter.Gabriel Dos Reis2-2/+4
* algebra/Makefile.am (strap-1/FINITE.$(FASLEXT)): Update dependency.
2016-04-05Fix conflict with catdef enumerateBill Page1-1/+1
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335
2016-04-05Add enumerate to domains that have FiniteBill Page1-0/+3
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335
2016-02-07PolynomialCategoryLifting: Weaken constraint on that parameterGabriel Dos Reis1-1/+1
The extra requirement of SetCategory was not being used, as pointed out by Ralf Hemmecke.
2016-02-06Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSupGabriel Dos Reis1-20/+18
Rewrite `subtractIfCan` and `sup` in terms of the mathematical operations and exported operations. This makes the correctness of the algorithms stand out.
2016-02-04Add leadingTerm to IndexedDirectProductCategoryGabriel Dos Reis1-8/+7
2016-02-03Clean up IndexedDirectProductAbelianMonoidGabriel Dos Reis1-9/+2
2016-02-01a typo and an omissionBill Page2-1/+2
2016-01-30FreeModule: Tidy implementation.Gabriel Dos Reis1-37/+29
2016-01-30Remove superflous declarations.Gabriel Dos Reis1-10/+4
2016-01-24Misc. fixesGabriel Dos Reis1-1/+0
With the siwtch to a C++ compiler, the AC_PATH_XTRA has become less effective as it internally relies on the C compiler invokation. Fixed CXXFLAGS, CPPFLAGS, and LDFLAGS when detecting <X11/xpm.h> usability. Various bitmasks in src/hyper and src/graph were bogusly using 'char' (instead of 'unsigned char') when they specify values larger than 127. Caught by the C++ compiler, thanks to no-narrowing conversion. Fixed. Eventually the X11-based HD interface and graphics should be replaced by a more modern GUI interface.
2016-01-22Remove antiquated syntax for operator declaration.Gabriel Dos Reis5-11/+7
2016-01-19getConstructorCategory: get it from generated code for category constructors.Gabriel Dos Reis2-2/+6
2016-01-17subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe %Gabriel Dos Reis16-71/+73
2016-01-17Maybe: CoercibleTo OutputForm is now optional.Gabriel Dos Reis1-5/+7
2016-01-17Rename Magma to FreeMagmaGabriel Dos Reis4-21/+21
A breeze, given previous compiler work. Renaming matches FriCAS's.
2016-01-16Reduce dependencies on databases to catgeory.daase during algebra buildGabriel Dos Reis9-140/+93
2016-01-13getSuperDomainFromDB: get data from generated codeGabriel Dos Reis2-2/+6
Don't call GETDATABASE to read the information. Rather, load the generated code for the contructor. Discovered mode algebra dependencies.
2016-01-12More algebra dependenciesGabriel Dos Reis3-26/+65
2016-01-11Algebra layer 0 now starts with basic typesGabriel Dos Reis2-422/+323
This cuts down on the number of domains that need to be built during bootstrapping.
2016-01-09Switch getDualSignature to avoiding interpreter databaseGabriel Dos Reis2-3/+18
Now that OpenAxiom emits the dual signature data also directly in the generated executable code for a constructor, there is no no need to consult the interpreter data base for that information. This change relies on the previous commit, e.g. getDualSignature should be considered invalid for builtin constructors. Any instanbility caused by this patch should be considered a latent bug that should be given high priority fixing.
2016-01-03More algebra dependency layering.Gabriel Dos Reis2-541/+857
2016-01-01More algebra layering and dependencies.Gabriel Dos Reis2-438/+502
2015-12-31coerceEasy: Allow expansion of current domain in the target mode.Gabriel Dos Reis1-8/+6
2015-12-31Don't unconditionally reference primitive types if they are being defined.Gabriel Dos Reis1-2/+2
2015-12-31Avoid modulus bias in 'random()' usage.Gabriel Dos Reis15-44/+35
2015-12-31Improve 'random()' from Integer domain.Gabriel Dos Reis1-5/+8
2015-12-30Misc cleanup of Integer domain implementation.Gabriel Dos Reis1-17/+15
2015-12-30Add more dependencies in the algberas' Makefile.am.Gabriel Dos Reis2-112/+369
2015-12-30Use CoercibleTo category instances instead of ad-hoc hard-wired 'coerce: % ↵Gabriel Dos Reis10-73/+15
-> T' signatures.
2015-12-30Remove redundant 'recip' signature from ModularRing and EuclideanModularRingGabriel Dos Reis1-4/+0
2015-12-30Remove redundant signature for 'recip' from CliffordAlgebraGabriel Dos Reis1-4/+1
2015-12-30Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, ↵Gabriel Dos Reis10-88/+8
central, noetherian, NullSquare, JacobiIdentity.
2015-06-01Fix typos in configration scripts.dos-reis1-0/+1
2015-04-03Fix warnings in C++ codes; check for additional C++ compiler options.dos-reis1-7/+20
2014-11-20Remove EOFP. Simplify IO file stream creation code.dos-reis1-2/+1
2014-11-16Check for LLVM frameworkdos-reis1-1/+3
2014-10-04Fix QT5 toAscii() compatibility issue.dos-reis1-1/+1
2014-08-26(iBesselKGrad)[FunctionalSpecialFunction]: Fix thinkodos-reis1-1/+1
2014-08-18Add src/boot/Makefile.amdos-reis1-0/+1
2014-02-23FASLEXT is now AC_SUBSTdos-reis2-7/+1
2014-02-21Rename AXIOM_LISP to OA_LISPdos-reis1-1/+1
2014-02-21Set derived src and target directory variablesdos-reis2-43/+21
2014-02-21Set derived build directory variablesdos-reis1-4/+10
2014-02-10Clean up global variable names.dos-reis2-9/+9
2014-02-02Annual ChangeLog rotationdos-reis1-1/+1
2013-11-25Check for Windows PowerShell.dos-reis1-0/+1
2013-11-03Adjust timestampdos-reis1-1/+1
2013-07-01Bring closer to GCL-buildability.dos-reis1-0/+1