open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2022-09-17	Disable automatic re-run of configuration steps. (#29)	Gabriel Dos Reis	1	-3/+4

2022-07-23	Update configure.	Gabriel Dos Reis	1	-7/+14

2017-12-27	Remove antiquated check for alignas	Gabriel Dos Reis	1	-2/+2
	C++14 required, alignas and alignof are now well supported as C++11 features.
2016-12-29	Add Boot support for native load unit specification in foreign	Gabriel Dos Reis	1	-0/+1
	function import.
2016-12-26	* interp/i-output.boot (appChar): Don't modify string parameter.	Gabriel Dos Reis	2	-2/+4
	* algebra/Makefile.am (strap-1/FINITE.$(FASLEXT)): Update dependency.
2016-04-05	Fix conflict with catdef enumerate	Bill Page	1	-1/+1
	Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335
2016-04-05	Add enumerate to domains that have Finite	Bill Page	1	-0/+3
	Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335
2016-02-07	PolynomialCategoryLifting: Weaken constraint on that parameter	Gabriel Dos Reis	1	-1/+1
	The extra requirement of SetCategory was not being used, as pointed out by Ralf Hemmecke.
2016-02-06	Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSup	Gabriel Dos Reis	1	-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-04	Add leadingTerm to IndexedDirectProductCategory	Gabriel Dos Reis	1	-8/+7

2016-02-03	Clean up IndexedDirectProductAbelianMonoid	Gabriel Dos Reis	1	-9/+2

2016-02-01	a typo and an omission	Bill Page	2	-1/+2

2016-01-30	FreeModule: Tidy implementation.	Gabriel Dos Reis	1	-37/+29

2016-01-30	Remove superflous declarations.	Gabriel Dos Reis	1	-10/+4

2016-01-24	Misc. fixes	Gabriel Dos Reis	1	-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-22	Remove antiquated syntax for operator declaration.	Gabriel Dos Reis	5	-11/+7

2016-01-19	getConstructorCategory: get it from generated code for category constructors.	Gabriel Dos Reis	2	-2/+6

2016-01-17	subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe %	Gabriel Dos Reis	16	-71/+73

2016-01-17	Maybe: CoercibleTo OutputForm is now optional.	Gabriel Dos Reis	1	-5/+7

2016-01-17	Rename Magma to FreeMagma	Gabriel Dos Reis	4	-21/+21
	A breeze, given previous compiler work. Renaming matches FriCAS's.
2016-01-16	Reduce dependencies on databases to catgeory.daase during algebra build	Gabriel Dos Reis	9	-140/+93

2016-01-13	getSuperDomainFromDB: get data from generated code	Gabriel Dos Reis	2	-2/+6
	Don't call GETDATABASE to read the information. Rather, load the generated code for the contructor. Discovered mode algebra dependencies.
2016-01-12	More algebra dependencies	Gabriel Dos Reis	3	-26/+65

2016-01-11	Algebra layer 0 now starts with basic types	Gabriel Dos Reis	2	-422/+323
	This cuts down on the number of domains that need to be built during bootstrapping.
2016-01-09	Switch getDualSignature to avoiding interpreter database	Gabriel Dos Reis	2	-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-03	More algebra dependency layering.	Gabriel Dos Reis	2	-541/+857

2016-01-01	More algebra layering and dependencies.	Gabriel Dos Reis	2	-438/+502

2015-12-31	coerceEasy: Allow expansion of current domain in the target mode.	Gabriel Dos Reis	1	-8/+6

2015-12-31	Don't unconditionally reference primitive types if they are being defined.	Gabriel Dos Reis	1	-2/+2

2015-12-31	Avoid modulus bias in 'random()' usage.	Gabriel Dos Reis	15	-44/+35

2015-12-31	Improve 'random()' from Integer domain.	Gabriel Dos Reis	1	-5/+8

2015-12-30	Misc cleanup of Integer domain implementation.	Gabriel Dos Reis	1	-17/+15

2015-12-30	Add more dependencies in the algberas' Makefile.am.	Gabriel Dos Reis	2	-112/+369

2015-12-30	Use CoercibleTo category instances instead of ad-hoc hard-wired 'coerce: % ↵	Gabriel Dos Reis	10	-73/+15
	-> T' signatures.
2015-12-30	Remove redundant 'recip' signature from ModularRing and EuclideanModularRing	Gabriel Dos Reis	1	-4/+0

2015-12-30	Remove redundant signature for 'recip' from CliffordAlgebra	Gabriel Dos Reis	1	-4/+1

2015-12-30	Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, ↵	Gabriel Dos Reis	10	-88/+8
	central, noetherian, NullSquare, JacobiIdentity.
2015-06-01	Fix typos in configration scripts.	dos-reis	1	-0/+1

2015-04-03	Fix warnings in C++ codes; check for additional C++ compiler options.	dos-reis	1	-7/+20

2014-11-20	Remove EOFP. Simplify IO file stream creation code.	dos-reis	1	-2/+1

2014-11-16	Check for LLVM framework	dos-reis	1	-1/+3

2014-10-04	Fix QT5 toAscii() compatibility issue.	dos-reis	1	-1/+1

2014-08-26	(iBesselKGrad)[FunctionalSpecialFunction]: Fix thinko	dos-reis	1	-1/+1

2014-08-18	Add src/boot/Makefile.am	dos-reis	1	-0/+1

2014-02-23	FASLEXT is now AC_SUBST	dos-reis	2	-7/+1

2014-02-21	Rename AXIOM_LISP to OA_LISP	dos-reis	1	-1/+1

2014-02-21	Set derived src and target directory variables	dos-reis	2	-43/+21

2014-02-21	Set derived build directory variables	dos-reis	1	-4/+10

2014-02-10	Clean up global variable names.	dos-reis	2	-9/+9

2014-02-02	Annual ChangeLog rotation	dos-reis	1	-1/+1