Project

General

Profile

CoCoALib-0.99880

22%

140 issues   (4 closed — 136 open)

Time tracking
Estimated time 171.02 hours
Spent time 288.90 hours
Issues by
Bug

1/17
Design

1/51
Feature

2/46
Slug

0/13
Support

0/13
Related issues
Bug #680: DistrMPolyClean does not use MemPool for summands?
Bug #1233: factor SEGV -- too large characteristic
Bug #1280: Determinant & Inverse of matrix over non integral domain
Bug #1281: Factor of multivariate sometimes prints ERROR
Bug #1542: gfan does not "deinitialize"
Bug #1571: ker_H needs care
Bug #1575: DynamicBitset missing arg checks
Bug #1600: Detect updated versions of external libs
Bug #1662: txt2tags: problem with filenames containing "_" or "-"
Bug #1683: IsIrred in ZZ[x,y]
Bug #1705: ProgressReporter: prepare for new loop?
Bug #1719: FactorINT has got worse
Bug #1730: ApplySPRCodomain: relax power/exponent check
Bug #1733: FactorINT: funny order
Bug #1764: Verbosity messages: avoid printing BIG values
Bug #1811: Check include guards
Bug #1812: Documentation: indexXX.html should be recompiled if version has changed
Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
Design #601: LongRange: in which file should it be declared/defined?
Design #707: MatrixOrderingMod32749Impl: test and write documentation!
Design #710: Update normaliz interface?
Design #849: Cleanup MinPoly code
Design #871: Redesign ideals
Design #894: strict enum types: C++11 extension
Design #924: FlagManager for bool/bool3 flags
Design #925: MachineInt or long for args which are indices (yet again)
Design #933: Separate configure scripts for CoCoALib and CoCoA-5
Design #934: MachineInt: change semantics?
Design #1106: Remove READLINE from CoCoALib
Design #1125: Separate install script for CoCoALib?
Design #1179: Clean up SparsePolyOps-MonomialIdeals
Design #1242: C++14: Use type auto where appropriate
Design #1255: Ideals with trivial GBasis
Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
Design #1355: TmpLDP uses srand and time
Design #1370: RingID counter increased inside some functions
Design #1414: Make class RingElemVector?
Design #1422: Remove flag IhaveGBasisValue?
Design #1428: DenseMatrix: use template impl for ctors from vec-vec?
Design #1446: Start using C++14 "move" capability
Design #1464: What is the difference between InterruptReceived and InterruptedBySignal
Design #1465: mul(MAT,MAT,MAT)
Design #1562: matrix.H and MatrixView.H
Design #1572: Use noexcept
Design #1576: cmp for machine integers
Design #1628: Unused variables, params, data members
Design #1642: interreduce: make monic if over finite field?
Design #1669: Review File subtree hierarchy
Design #1677: release-source script: use shell globbing?
Design #1678: Unsigned long for indexes (& sizes?)
Design #1685: RingBase::mySwap needed?
Design #1699: Shell scripts: Shebang line, etc
Design #1703: Threadsafety, multithreading: optional fn arg (or separate fn)
Design #1704: Symlink directory for external files needed by CoCoA-5
Design #1720: DivAlg in CoCoALib
Design #1727: Cruft in ExtLibs-Normaliz.C
Design #1736: Clean TmpGOperations, and remove Tmp prefix
Design #1738: Suggestion about Graded polynomial rings
Design #1744: Implement GBMill (aka Groebner Framework)
Design #1750: IdealOfPoints: allow duplicate points?
Design #1777: VerificationLevel: just 3? Low, high, guaranteed?
Design #1787: Iterator design: compatible with C++STL? Advancing beyond end?
Design #1792: CpuTimeOut: arg of type ErrorContext?
Design #1798: Computing in sub polyring
Design #1800: Conversion from SmallPrime to UNSIGNED long?
Design #1801: BuildInfo
Design #1807: Error codes: "Not..." for "blah must be ..." -- change prefix
Feature #125: Matrix equation solving; linear system solving
Feature #142: Improve threadsafety
Feature #206: Matrix equation solving: LinKer
Feature #222: Printing polynomials - spaces between terms
Feature #313: Elim(vector<long>) as PPOrderingCtor
Feature #598: Syzygy for modules: non-homogeneous module
Feature #664: Impl small non-prime finite fields (using logs)
Feature #718: Insert calls to CheckForInterrupt
Feature #743: Better errors: give supplementary info about the error
Feature #801: Test whether a symbol is in a ring
Feature #802: DivMask: extend interface?
Feature #813: Implement "elim" in CoCoALib
Feature #872: LinSolve for matrices over FFp
Feature #898: New function: cardinality of finite field?
Feature #947: IsRadical for ideal?
Feature #958: New function: multiplicity and dim
Feature #1094: Revive code for SelfSaturating GBasis
Feature #1132: Canonical homomorphism for (some) polynomial rings?
Feature #1176: interval arithmetic
Feature #1197: IsZeroDet: new fn
Feature #1207: New function: SubmoduleOfGBasis
Feature #1218: 32-bit or 64-bit preprocessor macro?
Feature #1219: Frobby version number
Feature #1254: New function: MinPoly for pseudo-zero-dimensional ideals
Feature #1306: exgcd over integers (ZZ)
Feature #1349: ideal ctor where given gens are a gbasis
Feature #1381: Type ideal for ZZ[x[1..n]]
Feature #1388: GlobalManager: create SignalWatcher internally?
Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout
Feature #1444: HNF: Hermite Normal Form
Feature #1485: Simple syntax for making a quotient ring?
Feature #1513: Better test for univariate-ness (and better conversion)
Feature #1559: Default ctor for rings
Feature #1635: NR for polys with coeffs in PID
Feature #1657: Improve CertifyNotPower
Feature #1667: GBasis over ZZ: port to CoCoALib
Feature #1668: Generalize prim
Feature #1670: Build also dynamic/shared library for CoCoALib?
Feature #1715: ProductBigInt (also ProductBigRat???)
Feature #1743: Implement Truncated GBases for homogeneous input
Feature #1748: July 2023
Feature #1778: Homogenizer
Feature #1793: Use ErrorContext instead of string FnName
Feature #1808: New constructor for PolyRing with elimination ordering
Feature #1809: Make ex-syz.C
Feature #1817: OSCAR/MaRDI JSON interface
Slug #777: SLUG: elimination
Slug #866: implicit, ImplicitHypersurface: improve output verification
Slug #967: Improve saturate
Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering
Slug #1118: SLUG: factorization of x^9999
Slug #1337: PrimaryDecomposition: a interesting/pathological example
Slug #1394: Oddly slow GBasis computation (slow final cleanup)
Slug #1521: Unexpectedly slow example with larger types for SmallExponent_t
Slug #1643: rref slower than expected (maybe) [[reduced row echelon form]]
Slug #1737: Homogenization of an ideal with ZZ^1-grading
Slug #1756: deg(f) is slow if f is long
Slug #1757: gcd(f,f) is slow
Slug #1796: myFinalizeGBasis ("Final clean up") should be more flexible
Support #262: Play with GIT
Support #1193: Naming convention mistakes
Support #1263: Tidy CoCoALib test directory
Support #1497: Doc for normaliz fns
Support #1510: Documentation for SparsePolyOps?
Support #1561: Doc for module term orderings
Support #1609: Clean time.C
Support #1611: Documentation for PrimaryDecomposition
Support #1664: geobucket: documentation
Support #1665: Compilation on Windows: problems for normaliz
Support #1673: Review examples
Support #1711: Development releases?
Support #1782: Make CoCoALib test file for radical