Timeline
May 19, 2014:
- 10:13 PM Changeset in git [d0bf7c]spielwiese by
- chg: use charSetN in some cases
- 7:19 PM Changeset in git [868d77d]spielwiese by
- fix: ssi: sending OrdSgn==-1
- 7:00 PM Changeset in git [cb6d87e]spielwiese by
- add: requirement for contributed libs
- 5:23 PM Changeset in git [3fd99f1]spielwiese by
- chg: more normalization
- 5:04 PM Changeset in git [46c7c3]spielwiese by
- Tests for AnnExt_R corner case added
- 4:40 PM Changeset in git [2bbd4a]spielwiese by
- fixed corner case (minimal resolution very short) in AnnExt_R
- 2:54 PM Ticket #540 (issue in quotient() over integers?) closed by
- fixed
- 2:48 PM Changeset in git [4b7656]spielwiese by
- chg: towards better ordering of qhi in irrCharSeries
May 18, 2014:
- 10:53 PM Changeset in git [7b2d39]spielwiese by
- chg: make sqrf not change the order of input chg: use modCharSet without removal of contents instead of charSetViaModCharSet
May 16, 2014:
- 9:58 PM Changeset in git [95c043]spielwiese by
- fix: bug in removeFactors chg: improved normalize
- 6:45 PM Changeset in git [ec89bb4]spielwiese by
- chg: nNeg -> nInpNeg, also n_InpNeg, cfInpNeg
- 6:04 PM Changeset in git [cf19a8]spielwiese by
- chg: feVoices: kernel/structs.h ->Singular/fevoices.h
May 15, 2014:
- 8:11 PM Ticket #616 (wrong include in libsingular.h) closed by
- fixed
- 4:39 PM Changeset in git [90c8bb]spielwiese by
- add: reuse procs from old modstd.lib for backward compatibility (cherry picked from commit eaf62cabb61187a481212e68709ca3d5592c08ec) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
- 4:06 PM Changeset in git [a3ebb3]spielwiese by
- fix: tr.616 (#include)
- 2:56 PM Ticket #616 (wrong include in libsingular.h) created by
-
The
[…]
in
Singular/libsingular.hshould be changed to … - 12:05 PM Changeset in git [0f74a1d]spielwiese by
- fix: tests for "removed currQuotient"/modstd
- 8:45 AM Changeset in git [53c637]spielwiese by
- Removed unexisting test from list
May 14, 2014:
- 6:08 PM Changeset in git [ddf842]spielwiese by
- Fix loading of dynamic modules
- 5:35 PM Changeset in git [8bfb5a9]spielwiese by
- Repaired dynamic Singulard
- 4:56 PM Changeset in git [d3c0a0]spielwiese by
- bugfix: 64 bit Long/solve_l.tst
- 4:02 PM Changeset in git [ac00e2f]spielwiese by
- removed currQuotient
- 1:40 PM Changeset in git [8b5fff]spielwiese by
- better error message: access object from other rings in newstruct
- 1:39 PM Changeset in git [33191a]spielwiese by
- fix: ssi: qring+extRing
- 10:51 AM Changeset in git [89889e]spielwiese by
- chg: use a not necessarily squarefree norm in factorization over number fields
- 10:50 AM Changeset in git [35f5d9a]spielwiese by
- chg: added a function to compute the norm
May 13, 2014:
- 6:59 PM Changeset in git [8025d4]spielwiese by
- Builtins should be "modules" in order to avoid "lib-" prefix
- 6:58 PM Changeset in git [3c7cefe]spielwiese by
- Singular expects all build-in-related mod_init_* functions to be as follows: 'extern "C" int SI_MOD_INIT(*NAME*)(SModulFunctions*);'!
- 6:57 PM Changeset in git [810238]spielwiese by
- List internal builtins in m4/options.m4
- 4:13 PM Changeset in git [199c1c8]spielwiese by
- tests for modstd.lib
- 4:08 PM Changeset in git [a2e51b]spielwiese by
- base modstd.lib on modular.lib (cherry picked from commit 5ec123fda2041b4cace52475654a231bc4c8adaa) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de> Conflicts: Singular/LIB/modstd.lib
- 3:53 PM Changeset in git [67294f1]spielwiese by
- chg: move IntGenerator from facAlgFuncUtil to cf_generator
- 3:30 PM Changeset in git [0ac77c4]spielwiese by
- chg: better docu and function naming
- 3:15 PM Changeset in git [86acc34]spielwiese by
- chg: do not waste non-sqrfree norm
- 3:13 PM Changeset in git [3c85f1]spielwiese by
- add: ssi-qrings
- 3:12 PM Changeset in git [c9f357]spielwiese by
- chg: make sqrf_norm_sub return non-sqrfree norm if wished
- 3:08 PM Changeset in git [ebe8ba]spielwiese by
- optimized rEqual
- 11:11 AM Changeset in git [6368d1]spielwiese by
- moved mixedTest->hasMixedOrdering (modstd.lib->ring.lib)
- 11:06 AM Changeset in git [bff513]spielwiese by
- removed MP tests
- 11:05 AM Changeset in git [fc1211]spielwiese by
- fix: 64bit map Q->R
- 10:27 AM Changeset in git [af301b]spielwiese by
- del: outputs
- 10:02 AM Ticket #615 (make information easier to find) closed by
- fixed: fixed with 3da4fac8970196bf294a50a08fd2ba5f8320d02f: add more index …
- 9:59 AM Changeset in git [3da4fac]spielwiese by
- add more index entries to kill: delete, unset
- 9:57 AM Ticket #489 (Segment fault/Bus error occurred in char_series (libfac)) closed by
- fixed
May 12, 2014:
- 9:19 PM Changeset in git [240e6d]spielwiese by
- removed MP tests, 64bitfix: Q->R maps
- 7:39 PM Changeset in git [76f8c5]spielwiese by
- Merge pull request #581 from mmklee/nolibfac Nolibfac
- 4:32 PM Changeset in git [c6b5f62]spielwiese by
- add: tests for modstd.lib (cherry picked from commit ea214dec3a1e971fa30dee982acbda44c9a04c7c) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
- 4:06 PM Changeset in git [a93f95f]spielwiese by
- fix: handle lists correctly in modular.lib (cherry picked from commit ac96cef11e4341326c51834000ea40c735afff39) Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
- 3:37 PM Changeset in git [3209ba]spielwiese by
- chg: COPYING
- 1:44 PM Ticket #559 (bug in reduce in qring over integers) closed by
- fixed
- 1:43 PM Changeset in git [4bc25c]spielwiese by
- tests for tr.559
- 12:25 PM Changeset in git [ea83e2]spielwiese by
- chg: some more formatting and better comments
- 12:14 PM Changeset in git [7ad038]spielwiese by
- 64bits: activate
May 10, 2014:
- 11:09 AM Ticket #615 (make information easier to find) created by
- I just spent some time searching for how to unassign a name. Looking …
May 9, 2014:
- 8:03 PM Changeset in git [a3aecc]spielwiese by
- Modules should define SI_MOD_INIT(name) as extern "C" + update/cleanup del: EMBED_PYTHON is not necessary now!
- 8:02 PM Changeset in git [2e59b2]spielwiese by
- Separated staticdemo module
- 7:58 PM Changeset in git [363d88]spielwiese by
- Moved singmathic into a separate module + Update for dynamic&static version
- 6:10 PM Changeset in git [d528663]spielwiese by
- fix: typo
- 6:07 PM Changeset in git [ed371e]spielwiese by
- chg: add n_Ann, remove some nIntDiv, remove nIntDiv
- 4:02 PM Changeset in git [3b2cf5]spielwiese by
- chg: Branches_of_space_curve_singularities due to changed order in primdecSY
- 3:53 PM Changeset in git [082428]spielwiese by
- chg: new test results due to changes
- 12:36 PM Changeset in git [3ff2cf]spielwiese by
- chg: better docu of sqrf_norm
- 12:18 PM Changeset in git [868240]spielwiese by
- chg: remove sqrf_agnorm_sub chg: use squarefree factors of resultant instead of wasting them
- 12:17 PM Changeset in git [8bfe2d]spielwiese by
- renamed in ring.lib: hasRingCoeffcientRing -> hasFieldCoeffcient
- 12:17 PM Changeset in git [940230]spielwiese by
- chg: farey description
- 11:28 AM Changeset in git [ec04e8]spielwiese by
- fix: missing StoreFactors declaration
- 11:10 AM Changeset in git [abde36]spielwiese by
- chg: better docu and format
- 10:54 AM Changeset in git [b17fa5]spielwiese by
- chg: format
May 8, 2014:
- 6:49 PM Changeset in git [9996416]spielwiese by
- Better builtin handling
- 6:47 PM Changeset in git [f6d790]spielwiese by
- Renamed modules "call{gfanlib,polymake}" -> {gfanlib,polymake}
- 6:46 PM Changeset in git [dc7ba4]spielwiese by
- Update/cleanup for modules: polymake & gfanlib
- 6:15 PM Changeset in git [5a06b22]spielwiese by
- chg: more renaming
- 5:44 PM Changeset in git [2ed604a]spielwiese by
- chg: remove unused stuff
- 5:31 PM Changeset in git [c514f7]spielwiese by
- chg: moved helper functions from cfCharSets and facAlgFunc to respective Util files chg: better nomenclature, code format, include structure
- 11:00 AM Changeset in git [1c2317]spielwiese by
- removed unused special handling of '(' from example bigintm
May 7, 2014:
- 11:08 PM Ticket #614 (inconsistency in handling size of free resolution) created by
- As the following code shows, the handling of the size of a resolution …
- 7:21 PM Changeset in git [83ce22]spielwiese by
- chg: allow generic stuff (with type IDHDL etc) to be used with blackbox stuff
- 5:31 PM Changeset in git [68e012]spielwiese by
- cleanup: bigintm
- 4:45 PM Changeset in git [6bf0b4]spielwiese by
- chg: rm libfac_interruptflag from grammar
- 4:00 PM Changeset in git [1d7ea9]spielwiese by
- rm: libfac
- 3:15 PM Changeset in git [1110d39]spielwiese by
- chg: order of multiplication in Prem
- 3:11 PM Changeset in git [c34fb4]spielwiese by
- fix: char series of stupid input
- 3:02 PM Changeset in git [d083a8]spielwiese by
- chg: use new irrCharSeries instead of IrrCharSeries from libfac
- 12:14 PM Changeset in git [9a8309]spielwiese by
- chg: only use the squarefree parts when computing charsets
- 11:36 AM Changeset in git [78e3b3b]spielwiese by
- chg: added Premb and improved normalize
- 11:18 AM Changeset in git [2a1008a]spielwiese by
- fix: really remove content
- 6:47 AM Changeset in git [af87fd]spielwiese by
- BS Support for builtin modules (with-builtinmodules, BUILTIN_LIB)
- 6:23 AM Changeset in git [f476eb]spielwiese by
- Moved pyobject to a separate directory under Singular/dyn_modules/
- 5:09 AM Changeset in git [db3070]spielwiese by
- Moved dynamic modules into /Singular/
- 4:57 AM Changeset in git [74d5db]spielwiese by
- Updated the subdivision diagramm for kernel + descr.
May 6, 2014:
- 3:46 PM Changeset in git [8ee887]spielwiese by
- fix: ksCheckCoeff: may be used with coeffs in Q
- 3:12 PM Changeset in git [2d3e75]spielwiese by
- towards a uniq n_Div: removing some of n_IntDiv
May 5, 2014:
- 11:05 PM Changeset in git [aab74b]spielwiese by
- The header kernel/combinatorics/hutil.h should not depend on currRing
- 10:35 PM Changeset in git [a01c17]spielwiese by
- Templates for unit testing kernel subparts (like kernel/GBEngine, kernel/combinatorics, kernel/fglm etc...)
- 10:34 PM Changeset in git [59f97c]spielwiese by
- Defined libkernelCommon.la to be the actual shared part of libkernel.la
- 8:14 PM Changeset in git [3f1da6]spielwiese by
- Fixing BS bugs
- 7:45 PM Changeset in git [b743d9]spielwiese by
- Merge pull request #539 from adipopescu/QRings Qrings
- 6:49 PM Changeset in git [d02a206]spielwiese by
- update: Oleksandr Changes
- 5:52 PM Changeset in git [f6c459]spielwiese by
- Cleanup and minor changes
- 5:22 PM Changeset in git [e3cdb4]spielwiese by
- chg: make removal of contents optional
- 4:51 PM Changeset in git [320ca6]spielwiese by
- chg: added removeContent
- 4:39 PM Changeset in git [a20c03]spielwiese by
- fix: ssi attribute p1
- 1:58 PM Changeset in git [8e326a]spielwiese by
- chg: ssi version
- 1:51 PM Changeset in git [508d46]spielwiese by
- attribute via ssi: part1: BIT-attributes
- 1:50 PM Changeset in git [f09a99]spielwiese by
- chg: allow in newstruct definition: white space, alnum member names
- 12:24 PM Changeset in git [067540]spielwiese by
- fix: factory/libfac/Makefile.am
- 11:07 AM Changeset in git [496d32]spielwiese by
- del: deleted not needed functions and chg names of functions
- 10:57 AM Changeset in git [f0cd66c]spielwiese by
- cleanup: libfac p2
- 10:39 AM Changeset in git [e6bada]spielwiese by
- cleanup: libfac p1
May 2, 2014:
- 10:50 PM Changeset in git [844dcf]spielwiese by
- fix: need the removed factors
- 3:26 PM Changeset in git [09cb7e1]spielwiese by
- fix: includes
- 3:06 PM Changeset in git [8a90cd]spielwiese by
- chg: deleted unused function and correct inclusion order
- 1:47 PM Changeset in git [23268c]spielwiese by
- chg: improve code readibility
- 1:23 PM Changeset in git [bbf054]spielwiese by
- chg: license stuff
- 12:13 PM Changeset in git [af2e90]spielwiese by
- chg: move reorder stuff from libfac to factory
- 11:53 AM Changeset in git [ac1a987]spielwiese by
- fix: missing header chg: switch on factorization over alg. func. fields chg: make irrCharseries public
May 1, 2014:
- 7:08 PM Ticket #589 (review process: ask for adequate tests) closed by
- not a bug: You do not understand the different target audiences: an example show …
- 7:01 PM Ticket #531 (ease retracing of reference test result changes) closed by
- fixed
- 6:43 PM Ticket #604 (bug in primdecGTZ over prime field) closed by
- fixed
- 6:42 PM Ticket #612 (add examples from comments in 'normal.lib' as tests) closed by
- not a bug: Yes, one could add these examples, but one should not: examples and …
- 5:30 PM Changeset in git [d912aa]spielwiese by
- Merge pull request #577 from mmklee/libfac_separable Libfac separable
Apr 30, 2014:
- 6:07 PM Changeset in git [1904c0]spielwiese by
- Fix the "local" header includes to <global> in public(?) headers
- 5:08 PM Changeset in git [14814e3]spielwiese by
- Do NOT specify libpolys while including /libpolys/*/*.h
- 3:25 PM Changeset in git [25ad2c]spielwiese by
- fix: syntax
- 2:05 PM Changeset in git [4758c9]spielwiese by
- fix: some bug in modCharSet and in alg_gcd
- 1:33 PM Ticket #613 (rootofUnity doesn't return primitive root) created by
- > ring R = (0,a), x, lp; > minpoly = rootofUnity (30); > minpoly; …
- 11:11 AM Changeset in git [611df0]spielwiese by
- chg: author information for facAlgFunc
Apr 29, 2014:
- 11:47 PM Ticket #610 (div by 0 in Normal::normalityTest) closed by
- invalid: The input is not aradical ideal.
- 7:30 PM Changeset in git [9e74fb5]spielwiese by
- Enable finall schreyer.lib testing via Singular exec (needs built Singular!)
- 5:57 PM Changeset in git [ea017f]spielwiese by
- added: rewritten char sets
- 5:54 PM Changeset in git [5355082]spielwiese by
- chg: moved helper functions for facAlgFunc from libfac to facAlgFunc
- 5:53 PM Changeset in git [248194]spielwiese by
- chg: changes to factory build system due to moving alg_factor
- 5:50 PM Changeset in git [7b7f3cf]spielwiese by
- chg: changes to libfac Makefile and include due to moving alg_factor.*
- 5:41 PM Changeset in git [1f1b02]spielwiese by
- mv: factory/libfac/charset/alg_factor.* -> factory/facAlgFunc.*
- 5:19 PM Ticket #612 (add examples from comments in 'normal.lib' as tests) created by
- There are several examples in the comments at the end of the library …
- 5:08 PM Changeset in git [c4138f]spielwiese by
- Fixed header includes due to kernel subdivision
- 2:55 PM Ticket #611 (Primdec::prepareAss() fails for zero ideal) created by
- […]
- 12:16 PM Ticket #610 (div by 0 in Normal::normalityTest) created by
- Failing example: […]
- 11:11 AM Changeset in git [3d8cd8]spielwiese by
- add: test for charseries mod p
- 11:04 AM Changeset in git [8d4ef7]spielwiese by
- chg: replace CharSet by mcharset
Apr 28, 2014:
- 8:52 PM Changeset in git [7a08403]spielwiese by
- Explicit template instantiation
- 8:51 PM Changeset in git [d62839]spielwiese by
- Better ADD macro in MOD_INIT
- 8:51 PM Changeset in git [00f64a]spielwiese by
- p_GetShortExpVector for products (in order to avoid the actual multiplication)
- 8:50 PM Changeset in git [1cf13b]spielwiese by
- Traverse API redesign + avoid multiplication as far as possible add/chg: TraverseNF similar to SchreyerSyzygyNF add/chg: use TraverseTail(mult, int tail_index) everywhere add: usage of CReducerFinder::FindReducer controlled by NOPRODUCT macro define add: _p_LmDivisibleByNoComp, CReducerFinder::FindReducer for products NOTE: needs p_GetShortExpVector for 'products'
- 8:49 PM Changeset in git [4eba3ad]spielwiese by
- introduced SchreyerSyzygyComputationFlags for storing and passing ring attributes within SchreyerSyzygyComputatio chg: renamed internal functions to avoid name conflicts chg: better namespace handling
- 7:29 PM Changeset in git [b6cba6]spielwiese by
- Merge pull request #576 from mmklee/factory_fix Factory fix
- 5:53 PM Changeset in git [776311]spielwiese by
- add: new test for charseries in char p
- 5:44 PM Changeset in git [9af4d2]spielwiese by
- chg: reminders to self
- 5:38 PM Changeset in git [204e3c]spielwiese by
- fix: revert substitution
- 5:09 PM Changeset in git [ceb2ce]spielwiese by
- Change the used 4ti2 version to 1.3.1 (rather than 1.3.2) in order to avoid diffs during regression testing chg: also separated 4ti2 dependent tests from almost all test lists
- 2:04 PM Changeset in git [7aa26b2]spielwiese by
- chg: status update 28.04.14
- 1:55 PM Changeset in git [d193e12]spielwiese by
- fix: pass by reference
- 1:55 PM Changeset in git [9393e86]spielwiese by
- fix: wrong include
- 1:54 PM Changeset in git [72d624]spielwiese by
- fix: memory leaks
Apr 25, 2014:
- 6:30 PM Changeset in git [8048c5]spielwiese by
- fix isQuotientRing for cases that parameter ring and basering are not the same
- 4:48 PM Changeset in git [b169a9]spielwiese by
- add quotient ring check
- 11:08 AM Changeset in git [2f864f]spielwiese by
- add: cfQuot1
- 10:59 AM Ticket #609 (bug in primdecint::intersectZ caused by variable renaming) created by
- Failing example: […] here is the corresponding fix: …
Apr 24, 2014:
- 7:03 PM Changeset in git [cc93648]spielwiese by
- fix variable conflict issue in primdecint.lib
- 12:33 PM Changeset in git [dcd3ce]spielwiese by
- Merge pull request #572 from YueRen/spielwiese fix: comparison of a boolean expression with int other than 0 or 1
- 12:24 PM Changeset in git [066334]spielwiese by
- tests for tr.604
- 12:22 PM Changeset in git [c3e196]spielwiese by
- fix: tr.604 (G.Pfister)
- 12:13 PM Ticket #608 (hasRingCoefficientRing() returns 1 for (integer,7),x,dp) created by
- Hello, unfortunately there was a typo in my report 607 and …
- 12:02 PM Ticket #607 (bug in 'hasRingCoefficientRing()') closed by
- fixed: coefficients form always a commutative ring with 1. Made documentation …
- 11:57 AM Changeset in git [78d0e5]spielwiese by
- chg: (tr.607 - which is not a bug) documentation for hasRingCoefficientRing
- 11:52 AM Ticket #607 (bug in 'hasRingCoefficientRing()') created by
-
Hello,
due to the documentation
hasRingCoefficientRingchecks … - 11:12 AM Changeset in git [493e3d]spielwiese by
- fix: tr.604 (primdecGTZ for small primes)
- 10:54 AM Changeset in git [423ed4]spielwiese by
- fix: comparison of a boolean expression with int other than 0 or 1 Issze #570 by dcb314 on github
- 10:54 AM Ticket #606 (bug in 'Ring::hasIntegerCoefficientRing()') closed by
- fixed: fixed: hasIntegerCoefficientRing -> hasRingCoefficientRing (handles …
- 10:48 AM Changeset in git [8e176b]spielwiese by
- chg: hasIntegerCoefficientRing ->hasRingCoefficientRing hasIntegerCoefficientRing handled only some special cases and in an error prone way (relying in string representations). hasRingCoefficientRing tests for the case where the coeffcients are not a field which requires special care/different alg. in many cases
- 10:16 AM Changeset in git [5b267b8]spielwiese by
- test for "setting minpoly for non-extension coeffs"
- 9:50 AM Changeset in git [0f60f3]spielwiese by
- fix: setting minpoly over non-extensions
Apr 23, 2014:
- 8:10 PM Ticket #606 (bug in 'Ring::hasIntegerCoefficientRing()') created by
- Hello, unfortunately I missed a bug in …
- 7:52 PM Changeset in git [feb3c9]spielwiese by
- Complete build options for Pthread API: use AX_PTHREAD instead of AC_CHECK_LIB(pthread,pthread_create) NOTE: this is due to https://github.com/Singular/Sources/issues/571
- 7:09 PM Changeset in git [b64556]spielwiese by
- Fix Manual/normalP.res (no more redefining gnirlist)
- 5:52 PM Changeset in git [30ddc8]spielwiese by
- Merge pull request #562 from surface-smoothers/fix.redefining.gnirlist fix redefining of gnirlist in normal.lib
- 4:02 PM Changeset in git [24066c]spielwiese by
- moved rlimit.* to kernel/oswrapper
- 3:58 PM Changeset in git [c5e82e]spielwiese by
- moved timing stuff to kernel/oswrapper part2
- 3:32 PM Changeset in git [49f423]spielwiese by
- moved timing stuff to kernel/oswrapper part1
- 3:30 PM Changeset in git [3f61490]spielwiese by
- moved line reading stuff to kernel/oswrapper part2
- 3:09 PM Changeset in git [ff3617]spielwiese by
- moved line reading stuff to kernel/oswrapper part1
- 2:18 PM Changeset in git [f1d2c9]spielwiese by
- mvoed siRand to libpolys/misc/sirandom.*
- 1:11 PM Changeset in git [e07ef0c]spielwiese by
- fix: find gmp
- 12:59 PM Changeset in git [59d8f8]spielwiese by
- fix: find shared lib gmp (ld should know -Wl,-R..) (C.Fieker)
- 12:56 PM Changeset in git [bb506bf]spielwiese by
- moved class Voice to fevoices.h
- 12:30 PM Ticket #605 (forbid constant minimal polynomials for (coefficient) extension fields?) closed by
- not a bug: a nice way to compute in Q/Q (the with ring only one element: 0)
- 12:19 PM Changeset in git [72a01e]spielwiese by
- removed unused febase.h, moved parts to ipshell.h/subexpr.h/structs.h
- 10:37 AM Ticket #605 (forbid constant minimal polynomials for (coefficient) extension fields?) created by
- currently the following code is allowed: […]
Apr 22, 2014:
- 11:57 AM Changeset in git [e40d91b]spielwiese by
- fix: harden flatten for illegal calls flatten(<ideal>)
- 11:56 AM Changeset in git [8abd84]spielwiese by
- fix: rand() is never used, no need to call srand(..)
Apr 21, 2014:
- 9:08 PM Ticket #604 (bug in primdecGTZ over prime field) created by
- Here is the failing input example: […] the entries L1[1][2] and …
Apr 19, 2014:
- 12:01 AM Changeset in git [968ecd]spielwiese by
- fix some zerogens and size(ideal) issues in primdecint.lib removed addIdealZ and fixed ASSUME level
Note: See TracTimeline
for information about the timeline view.
