Project

General

Profile

Gantt

Filters

Zoom in Zoom out

months from Apply Clear

CoCoA
CoCoALib
Feature #213: test-Normaliz1.C
Feature #1654: New function IsInSymbols
Feature #573: Use symbolic links for external libraries
Feature #856: MantissaAndExponent2 for twin-float
Feature #889: configure script: give summary of warnings at end
Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib)
Feature #902: New function: FrobeniusMat
Feature #910: BigRat: read from a string in "decimal" format?
Feature #931: GBasis verbose mode
Feature #951: New function: IsSqFree
Feature #955: RandomUnimodularMat - random unimodular matrix (of integers)
Feature #957: New function: HasGBasis
Feature #961: New function: ReducedGBasis
Feature #1008: square function
Feature #1016: ReducedGBasis for RingWeyl (and other non-commutative rings)
Feature #1036: LogStream: stream for log output
Feature #1050: ExternalLibs: function for getting info
Feature #28: rename RingQ, RingZ --> RingQQ, RingZZ
Feature #116: ordering matrices with rational coefficients
Feature #30: SwapRows, Cols
Feature #153: Shorter simpler names for some bool3 values and functions
Feature #156: Brand new symbol(s)
Feature #157: Separate ThreadsafeCounter from symbol.C
Feature #167: Integer operations
Feature #69: p-th root
Feature #210: Normaliz: "double" cone for speed and safety
Feature #211: NBM: add SparsePolyRing as argument for ordering
Feature #221: Better RingElems
Feature #224: Leading form
Feature #241: AreMonomials
Feature #244: Rings: default ctor & assignment
Feature #261: Review the utility of RefRingElem
Feature #51: polynomial coefficient extraction w.r.t. variable
Feature #3: implement creation of a PPMonoidElement from vector<BigInt>
Feature #50: Polynomial content
Feature #84: Names for random streams
Feature #121: Porting "IdealOfPoints"
Feature #124: change long args in matrices into MachineInt (?)
Feature #236: Add homog (homogenized) for ideal
Feature #269: PPMonoids: check for exponent overflow in power function
Feature #283: Rational approximation
Feature #300: Add fault tolerant rational reconstruction to library
Feature #320: PPMonoid pseudo-ctors without symbol names
Feature #340: "configure" does not set BOOST if there are multiple copies in "standard" location
Feature #354: New function BinRepr (was BinExp, also known as Macaulay representation)
Feature #390: Store unique copy of QQ[t_1..t_n] (RingQQt) in GlobalManager
Feature #40: Squarefree factorization - Alessio d'Ali`
Feature #41: Squarefree factorization - overhead
Feature #42: Squarefree factorization - generic case
Feature #43: Squarefree factorization - for polynomials
Feature #44: Squarefree factorization - univariate polynomials
Feature #45: Squarefree factorization - univariate polynomials, char 0
Feature #46: Squarefree factorization - univariate polynomials, char p > 0
Feature #48: Squarefree factorization - multivariate polynomials, char 0
Feature #49: Squarefree factorization - multivariate polynomials, char p > 0
Feature #144: Buchberger-Moeller: generic impl
Feature #278: add CoeffVecWRT to cocoalib
Feature #39: Squarefree factorization
Feature #47: Squarefree factorization - multivariate polynomials
Feature #61: Conversion functions -- documentation
Feature #203: Function to get the Hilbert Polynomial ring from GlobalManager
Feature #209: ReadExpr: input polynomials in CoCoALib
Feature #219: myDeriv for RingDenseUPolyClean still missing
Feature #233: AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
Feature #248: IsDivisible for RingElem with nice interface
Feature #312: LongRange(a,b) returning vector of long a..b (included)
Feature #366: function (CoCoALib) for minimal generators (like old Minimalize)
Feature #407: RingElem ctor from mpz_t (from Bruns)
Feature #416: New fn: NumPartitions
Feature #426: ConvertTo with optional arg to give more helpful error message
Feature #457: Zero to the power zero, 0^0
Feature #496: ideal: minimalize or minimalized?
Feature #5: Coefficient extraction
Feature #17: implement "binomial" (coefficient) for RingElem
Feature #71: ZeroMat & FilledMat
Feature #107: Recognizing finite fields
Feature #138: Automatic conversion from bool3 to bool?
Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
Feature #342: Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP))
Feature #356: IsZeroDivisor
Feature #373: add DeleteCol, DeleteRow
Feature #430: Use -fopenmp flag when compiling CoCoALib with libnormaliz
Feature #431: NewPolyRing_DMPI has no constructor with a predefined PPM
Feature #526: Fn to test if an integer is a power of 2
Feature #533: Convert BigInt/BigRat to string
Feature #540: Progress reporter
Feature #62: polynomial coefficient extraction w.r.t. single variable -- dense output
Feature #68: cleanup doc for matrix, MatrixViews, *Matrix*,....
Feature #72: MatByRows, MatByCols
Feature #139: Usefulness of ring casting fns (remove AsPolyRing, etc.)
Feature #165: FractionField -- only of TrueGCDDomain?
Feature #218: CoCoALib normaliz interface
Feature #223: Automatic mapping of RingElems
Feature #304: Module ordering and grading (and shifts)
Feature #310: ordering and grading (weights) matrix
Feature #554: CoCoALib-Normaliz interface: cannot print a cone
Feature #568: Valid symbol heads
Feature #571: CmpAbs for RingElem
Feature #580: Example for PPVector: ex-PPVector
Feature #585: (Hilbert-) quasi-polynomials
Feature #520: Compute inverse in quotient ring (i.e. division in algebraic extn)
Feature #623: Inverse of a matrix over ZZ
Feature #625: NumTheory: sieve of Eratosthenes
Feature #689: Fault tolerant rational reconstruction: make bad factor publicly accessible
Feature #714: Interrupt mechanism
Feature #721: CheckForInterrupt: string arg to specify where it was called?
Feature #715: RandomSubsetIndices, RandomTupleIndices?
Feature #747: New function for making list of symbols (indeterminate names)
Feature #215: Janet Bases: check and include code in CoCoALib (first prototype)
Feature #586: BigInt ctor from a machine integer
Feature #735: Convert a PPMonoidElem to RingElem with coefficient one
Feature #762: ExternalLib-GFan: first prototype
Feature #795: Add new fn InvModNoCheck
Feature #811: Add new fn SimplestBinaryRatBetween
Feature #836: SmallFpImpl: export fns for a fixed convention
Feature #848: Implement MinPoly in CoCoALib
Feature #37: matrix constructors
Feature #180: GlobalManager: registration of global variables
Feature #255: Use BOOST lib default location if possible
Feature #319: BOOST -- how it could help in CoCoALib
Feature #361: implement IsPrime3, IsMaximal3
Feature #630: Add graeffe function?
Feature #638: Time limit: let user specify time limit for a computation
Feature #730: Stats in GBMill (GReductor)
Feature #759: Configuration: where to keep source for test compilations?
Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
Feature #962: General verbose mode?
Feature #979: SmallestNonDivisor -- new fn
Feature #1030: IsInRadical: case of homog ideal
Feature #1033: Split poly into homog parts
Feature #1035: Improvement: how to sort QuotientBasis?
Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib
Feature #1053: New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
Feature #1090: ExternaLib-MathSAT: first prototype
Feature #1102: Implement RootBound
Feature #1108: New fn: IsCoprime (whenever gcd makes sense)
Feature #374: Porting "IdealOfProjectivePoints"
Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
Feature #900: New function: MinPoly of RingElem in quotient ring
Feature #901: New function: PrimaryDecomposition0 in CoCoALib
Feature #1005: Makefile: install target for CoCoALib
Feature #1126: New function: SubmoduleOfMinGens
Feature #1131: Sturm sequence
Feature #1154: SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime
Feature #1155: Create a new "prime source" iterator
Feature #1158: New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel
Feature #1167: New class VerificationLevel
Feature #1169: New function: RandomLinearForm (CoCoALib)
Feature #1178: New function: myPrimaryDecomposition_0dim
Feature #1203: factor over algebraic extensions
Feature #11: Bareiss algorithm
Feature #1209: New function: HasPositiveGrading
Feature #1249: principal ideal has a Gbasis
Feature #1251: New function: radical for monomial ideal
Feature #1283: Printing for (prime) finite fields
Feature #1297: New fn: FixedDivisor (formerly IntrinsicContent)
Feature #1301: New function primorial
Feature #1329: New syntax for creating homomorphisms (PolyAlgebraHom)
Feature #1330: New syntax for NewQuotientRing
Feature #1332: New function: vector of RingElem from string -- in CoCoALib
Feature #1347: New function: ctor of PPVector with vector<RingElem>
Feature #4: Squarefree GCD-free basis
Feature #91: Return type & name for "indets" of a PP
Feature #259: Squarefree(?) GCD-free basis
Feature #303: Rows and Columns of a matrix
Feature #357: Constructor for vectors? CoCoAVector
Feature #658: Indets actually in a poly (or vector or matrix)
Feature #966: New function or explain: first and last for a vector?
Feature #1277: Gaussian row reduction
Feature #1427: New function: LawrenceMat
Feature #1434: GBasisByHomog for DegLex
Feature #1299: New fn ConstantTerm?
Feature #24: object files collected in one directory
Feature #122: Porting "LinKer"
Feature #152: Replace bool3 by tribool
Feature #1235: FreeModule: get canonical basis
Feature #1395: SHA checksum for released code
Feature #1405: New fn: interreduction
Feature #1436: Flatten for a matrix
Feature #1457: Make SmoothFactor interruptible
Feature #1483: IsPowerOf2 for rationals
Feature #1490: New function: MinusOneToPower
Feature #1580: New fn prim for polys
Feature #1589: IdealOfPoints: allow matrix of points to be defined over "wrong" ring
Feature #1598: RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix
Feature #1633: Make polynomial multiplication interruptible?
Feature #82: C++11 compatibility questions
Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
Feature #253: W.Bruns's wish list
Feature #379: Iter for subsets/tuples
Feature #645: Automatic mapping of RingElem: user selectable at run-time (GlobalManager?)
Feature #800: PPMonoidSparse: impl of sparse PPs
Feature #1206: syz, SyzOfGens: which shifts for zero?
Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
Feature #1212: New function: GBasisByHomog
Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
Feature #1466: Ops += *= etc for Matrices?
Feature #1488: BuiltIn Interreduce-Function
Feature #1619: Make saturate available in CoCoALib
Feature #1676: txt2tags: include in source distribution?
Feature #1684: RandomNBitPrime - new fn
Feature #1694: New expv/exponents function?
Feature #1723: New fn CoprimePart, OddPart: naming question
Feature #1755: CheckForInterrupt: give more info?
Feature #1763: implement ideal(R) for zero ideal, with no generators?
Feature #1770: Evaluate polynomial function/class
Feature #1780: radical for ideals in SparsePolyRing: code in C++
Feature #1788: New MatrixView/function "FirstRows/FirstCols"?
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 #1742: MinGens could be faster
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 #385: Design new errors using inheritance
Feature #949: New function: IdealWithIncrementalGBasis(I, f)
Feature #1115: New class: exterior algebra
Feature #1282: subresultant
Feature #1433: HilbertDriven Buchberger Algorithm
Feature #1437: Filling matrix row/col from a vector
Feature #1441: GFan: port CoCoA_5 functions into CoCoALib
Feature #1468: Adjoin indets to a poly ring
Feature #1470: Get indexed indets from a polyring
Feature #1472: Idea for for loops
Feature #1482: Extended rationals: PlusInfinity and MinusInfinity
Feature #1492: submat of a submat
Feature #1532: Convenient RingHom pseudo-ctors
Feature #1582: Factorization in K(a,b)[x,y]
Feature #1602: Sparse matrix (SparseMat)
Feature #1637: Intersection of Ideals: has GBasis?
Feature #1645: Implement monic0(f) for the case monic(0)?
Feature #1652: Add LM to cocoalib ?
Feature #1692: Suggestion: Add "JumpTo" function to prime iterators
Feature #1702: Use C++ attributes
Feature #1784: Add flag IhaveHomogGensValue for ideals in SparsePolyRing?
Feature #1785: Add function IsHomog3(I)?
Feature #1786: Add new function for IsInRadical for monomial ideals? (RadicalMembership)
Feature #1797: Add a function CleanupGens making some easy cleaning on the generators?
Feature #1803: Improve trivial operations with ideal whose GBasis is [1]
Feature #1815: JSON and UUID
Feature #92: Error Codes
Feature #113: Introduce PartialHom
Feature #123: IdealOfPoints with generic coeffs
Feature #126: New datastructures directory
Feature #127: Convert DUPFF code to C++
Feature #134: Convenience ring ctors and homs
Feature #143: Buchberger-Moeller (parent task)
Feature #145: Buchberger-Moeller: fast modular impl
Feature #147: Buchberger-Moeller: impl via modular reduction
Feature #146: Buchberger-Moeller: input conversions
Feature #150: RingOf rather than owner? (and than AmbientRing, ...)
Feature #151: Iterated CanonicalHom
Feature #174: IsStdGraded: add for PPOrdering, PPMonoid, (Sparse)PolyRing..
Feature #227: HilbertBasis from Normaliz: full-lattice or not?
Feature #229: Generator for random ring elements
Feature #246: Approx QIR
Feature #257: Transcribe C4 code for GCD in QQ[x]
Feature #258: Multivariate lifting
Feature #281: Store unique copy of FF(p) in GlobalManager
Feature #282: Global setting: to use IsProbPrime in place of IsPrime
Feature #289: PrimeField -- new fn?
Feature #315: Add doc for ApproxPts2
Feature #337: Module homs
Feature #383: Resolution/morse: integrate Mario Albert's code into CoCoALib
Feature #386: add resolution data type
Feature #387: implement algorithm(s) for resolutions
Feature #399: add myHilbertSeries member field to ideal and (sub)module
Feature #400: add myJBMill member field to ideal
Feature #409: Minimal syzygies (optimized implementation)
Feature #420: Allow user to give a name to a ring
Feature #436: Improve UPoly eval at BigRat for binary rational
Feature #437: MemPool: order free blocks?
Feature #440: Port RealRoots to C++
Feature #442: Eigenvectors
Feature #459: LinearSimplify: port to CoCoALib
Feature #482: Unique copies of rings -- smart ctor
Feature #515: Fn to "flatten" muliple polynomial extns
Feature #516: Make squarefreefactor work in multiple polynomial extns
Feature #539: Functions to clean up a factorization
Feature #562: Subrings
Feature #564: Temporary file for experimentation
Feature #565: FloatApprox for TwinFloat values?
Feature #570: Allow use of RingElem instead of ring in some functions (e.g. PPM, CoeffRing)
Feature #575: Investigate using cmake for configuration
Feature #583: New function for printing with extra information
Feature #589: Implement gin (generic initial ideal) in cocoalib
Feature #617: configure: check all libraries for compatibility
Feature #627: Gaussian integer and rationals ZZi, QQi
Feature #628: Complex twin-floats
Feature #639: Shadow CoCoA namespace to help guarantee portability (without ambiguity)
Feature #644: Buchberger-Moeller: add option to stop as soon as 1 poly has been found
Feature #651: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)
Feature #661: Laurent polynomials
Feature #665: Integrate Janet/Pommaret basis code
Feature #667: factor: multivariate + finite characteristic
Feature #678: Accumulator (like a geobucket)
Feature #681: MemPool: make it easier to get just stats
Feature #682: PPMonoid: add fn to check for overflow in products
Feature #685: Use DivMask inside QBGenerator
Feature #690: Fault tolerant rational reconstruction: implement simultaneous version
Feature #728: Noncommutative algebra "of solvable type"
Feature #729: Betti numbers, betti diagram
Feature #738: Extend homomorphism to polynomial ring
Feature #740: Addition of sparse (multivariate) polynomials
Feature #758: configure: have option to say to look for external libs
Feature #765: ExternalLib-CDD: (needed by GFan)
Feature #775: PPMonoid with 1 extra "exponent"?
Feature #780: GroebnerFan/ExternalLib-GFan: improve package
Feature #797: SmallFpImpl: make it faster
Feature #803: PPOrdering: use it to compute WDeg?
Feature #812: PPMonoid pseudo-ctor without explicit ordering
Feature #817: GenRepr in CoCoALib?
Feature #826: Sparse matrices
Feature #828: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)
Feature #835: Make Mario's new code threadsafe
Feature #838: Differential algebra
Feature #839: SparsePolyIter: make more compatible with STL
Feature #840: GINV: alex basis
Feature #869: SmallFpImpl: different repr for computation and for storage?
Feature #873: bool3: add some logical operations?
Feature #885: IsIrred3: fast 3-way irred test (returning bool3)
Feature #896: myIsEqual, myCmp: direct comparisons between RingElem and MachineInt, BigInt and BigRat?
Feature #904: SmallFpDouble: which impl of InvMod to use?
Feature #913: Read input from SymbolicData database
Feature #914: New function: quorem for univariate polynomials?
Feature #919: Hilbert Driven GBasis
Feature #923: Fn to read symbol range (SymbolRange)
Feature #937: LinDepMill: Mill for linear dependencies
Feature #974: QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints
Feature #987: GCD: add special case if args are monomials
Feature #992: Poly ring homomorphism to change ordering
Feature #1010: C++11: Mario's Hilbert scheme code
Feature #1022: New "LF" function which is based on StdDeg
Feature #1103: Pseudo-zero-dim ideals
Feature #1117: Better printing of negative coeffs
Feature #1150: New fn: transform ideal with ring hom
Feature #1173: Upper bound for value of poly in an interval
Feature #1198: Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex)
Feature #1227: exgcd; solve Bezout equation
Feature #1267: Ideal equality
Feature #1269: Ideal Ops: sort-cuts for trivial args?
Feature #1278: Port old "clever" code for matrix determinant over ZZ to CoCoALib
Feature #1323: Improve RealRoots: compute sqfr decomp
Feature #1339: All PPs of given wdeg
Feature #1419: DynamicBitset::IamAll1s
Feature #1706: slimgb: Brickenstein, singular
Feature #1001: CoCoALib: ideas for student projects
 
2025-6
2025-7
2025-8
2025-9
2025-10
2025-11
 
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
CoCoALib
CoCoALib-0.99550 spring 2017 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
« Previous Next »

Also available in: PDF