open-axiom/src/algebra, branch masteropen scientific computation systemhttp://git.pashev.ru/open-axiom/atom?h=master2022-09-18T00:41:17ZDisable automatic re-run of configuration steps. (#29)2022-09-18T00:41:17ZGabriel Dos ReisGabrielDosReis@users.noreply.github.com2022-09-18T00:41:17Zurn:sha1:dbe239cd6eee022d1b8dccb9d8a1368acf52a8d7Update configure.2022-07-24T01:40:12ZGabriel Dos ReisGabrielDosReis@users.noreply.github.com2022-07-24T01:40:12Zurn:sha1:50b19677e8a323abc641542bb2a957864959bd4bRemove antiquated check for alignas2017-12-27T12:38:07ZGabriel Dos Reisgdr@axiomatics.org2017-12-27T12:38:07Zurn:sha1:83ff2c1707b3c1e304feb2127503d9878b05fa9d
C++14 required, alignas and alignof are now well supported as C++11
features.
Add Boot support for native load unit specification in foreign2016-12-29T10:13:58ZGabriel Dos Reisgdr@axiomatics.org2016-12-29T10:13:58Zurn:sha1:2bd3cc876cc90b8e28e0e8d88a5982f69729f867
function import.
* interp/i-output.boot (appChar): Don't modify string parameter.2016-12-26T09:13:34ZGabriel Dos Reisgdr@axiomatics.org2016-12-26T09:13:34Zurn:sha1:a8a3b2cdf66d274c831ad6229e6123e9cd68e07d
* algebra/Makefile.am (strap-1/FINITE.$(FASLEXT)): Update dependency.
Fix conflict with catdef enumerate2016-04-05T15:57:40ZBill Pagebill.page@newsynthesis.org2016-04-05T15:57:40Zurn:sha1:d7b09fd7004f9ba8b9274be36378ddf5c9ff8438
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335Add enumerate to domains that have Finite2016-04-05T15:53:56ZBill Pagebill.page@newsynthesis.org2016-04-05T15:53:56Zurn:sha1:9be366caa7d9ca6d2c851f93939ad7d569d78aa8
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335PolynomialCategoryLifting: Weaken constraint on that parameter2016-02-07T16:48:15ZGabriel Dos Reisgdr@axiomatics.org2016-02-07T16:48:15Zurn:sha1:a7ca7aef072617deed7a33647094adc3071a2012
The extra requirement of SetCategory was not being used, as pointed
out by Ralf Hemmecke.
Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSup2016-02-06T17:29:03ZGabriel Dos Reisgdr@axiomatics.org2016-02-06T17:29:03Zurn:sha1:840651da76b018edd0fac7eac5087e8adb1701c8
Rewrite `subtractIfCan` and `sup` in terms of the mathematical
operations and exported operations. This makes the correctness of the
algorithms stand out.
Add leadingTerm to IndexedDirectProductCategory2016-02-05T03:59:45ZGabriel Dos Reisgdr@axiomatics.org2016-02-05T03:59:45Zurn:sha1:de24fd0cab54a21333221f0678f33787d74a5355