Project

General

Profile

Gantt

Filters

Zoom in Zoom out

months from Apply Clear

Feature #202: MatrixView for viewing a single row or column
Feature #313: Elim(vector<long>) as PPOrderingCtor
Feature #357: Constructor for vectors? CoCoAVector
Feature #385: Design new errors using inheritance
Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
Feature #658: Indets actually in a poly (or vector or matrix)
Feature #664: Impl small non-prime finite fields (using logs)
Feature #665: Integrate Janet/Pommaret basis code
Feature #729: Betti numbers, betti diagram
Feature #743: Better errors: give supplementary info about the error
Design #764: ExternalLib: simplify configuration
Feature #800: PPMonoidSparse: impl of sparse PPs
Feature #801: Test whether a symbol is in a ring
Feature #802: DivMask: extend interface?
Feature #813: Implement "elim" in CoCoALib
Design #846: IsIrred: correct design?
Support #847: Doc for BigInt, IntOperations, BigRat -- should there be RatOperations?
Feature #849: Cleanup MinPoly code
Design #855: Copyright and authorship?
Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
Slug #866: implicit, ImplicitHypersurface: improve output verification
Feature #872: LinSolve for matrices over FFp
Slug #874: factor: too slow on largish multivariate poly
Feature #885: IsIrred3: fast 3-way irred test (returning bool3)
Feature #896: myIsEqual, myCmp: direct comparisons between RingElem and MachineInt, BigInt and BigRat?
Feature #898: New function: cardinality of finite field?
Feature #900: New function: MinPoly of RingElem in quotient ring
Feature #901: New function: PrimaryDecomposition0 in CoCoALib
Design #924: FlagManager for bool/bool3 flags
Design #925: MachineInt or long for args which are indices (yet again)
Bug #935: ElimMat, ELimHomogMat: complain about zero or negative weights
Feature #949: New function: IdealWithIncrementalGBasis(I, f)
Design #950: factor and SmoothFactor for integers
Feature #958: New function: multiplicity and dim
Slug #967: Improve saturate
Feature #1005: Makefile: install target for CoCoALib
Slug #1009: coefficients for MinPoly e Frobenius
Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering
Support #1066: Documentation: translation table
Design #1085: Fns with "OUT" args: should they give ERR::MixedRings?
Feature #1094: Revive code for SelfSaturating GBasis
Support #1099: MinPolyQuot: missing doc
Feature #1115: New class: exterior algebra
Feature #1117: Better printing of negative coeffs
Design #1124: Move examples directory into doc
Design #1125: Separate install script for CoCoALib?
Feature #1126: New function: SubmoduleOfGBasis, and SubmoduleOfMinGens
Bug #1130: SqFreeFactor: should it work over ZZ?
Feature #1131: Sturm sequence
Feature #1132: Canonical homomorphism for (some) polynomial rings?
Support #1134: Organize better the documentation for CoCoALib
Design #1145: File names, coding conventions: Fns, Ops, Operations? part 2
Design #1147: mySquare and myPowerSmallExp
Support #1149: Release: CoCoALib-0.99570 (together with CoCoA-5.4.2)
Feature #1154: SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime
Feature #1155: Create a new "prime source" iterator
Design #1156: Printing for RingElem
Feature #1158: New function: MinPolyQuotHeuristic
Support #1160: Clean up revised RatReconstructByContFrac code
Support #1161: Split NumTheory.C into several smaller files
Design #1162: Check semantics of NoSmallFactorSeq
Design #1163: Split SparsePolyRing.C in smaller files
Slug #1165: MinPoly over QQ: verification may be very slow
Design #1166: C++11: allows large integer literals (in NumTheory-prime.C)
Feature #1167: New class VerificationLevel
Feature #1169: New function: RandomLinearForm (CoCoALib)
Slug #1170: SmoothFactor: slow when a factor is found
Design #1177: File names: use "SparsePolyOps" prefix for pertinent files
Feature #1178: New function: myPrimaryDecomposition_0dim
Design #1179: Clean up SparsePolyOps-MonomialIdeals
Design #1180: BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg)
Bug #2: Makefile problem in ROOT and/or src/AlgebraicCore
Feature #4: Squarefree GCD-free basis
Bug #6: Sort out RingElem, RefRingElem, ConstRefRingElem mess
Feature #11: Bareiss algorithm
Bug #15: Adjoint of a non-invertible matrix
Feature #24: object files collected in one directory
Support #26: Redmine Administration
Support #59: List of all functions in CoCoALib
Bug #64: submat takes only vector<long>
Bug #74: printing polynomials
Support #76: keywords in documentation
Feature #82: C++11 compatibility questions
Support #87: Cleanup header for ring classes (so that they are e-diff-able)
Feature #91: Return type & name for "indets" of a PP
Feature #92: Error Codes
Bug #111: Mod fn for computing remainder
Support #112: automatic creation of all function signatures
Feature #113: Introduce PartialHom
Bug #114: Ideals of polynomials
Slug #120: LT over QQ: surprisingly slow
Feature #122: Porting "LinKer"
Feature #123: IdealOfPoints with generic coeffs
Feature #125: Matrix equation solving; linear system solving
Feature #126: New datastructures directory
Feature #127: Convert DUPFF code to C++
Slug #129: Better GCD
Bug #130: Design problem in ideals
Feature #134: Convenience ring ctors and homs
Feature #142: Improve threadsafety
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
Bug #149: Makefile dependencies
Feature #150: RingOf rather than owner? (and than AmbientRing, ...)
Feature #151: Iterated CanonicalHom
Feature #152: Replace bool3 by tribool
Bug #154: GCD normalization (e.g. monic)
Support #161: Convert old "task table" into redmine
Feature #174: IsStdGraded: add for PPOrdering, PPMonoid, (Sparse)PolyRing..
Bug #196: PPWithMask needs checking
Support #205: Example for change of coordinates with coeffs in a matrix
Feature #206: Matrix equation solving: LinKer
Feature #222: Printing polynomials - spaces between terms
Feature #227: HilbertBasis from Normaliz: full-lattice or not?
Feature #229: Generator for random ring elements
Support #231: Documentation for QBGenerator needs to be improved.
Bug #232: No test for QBGenerator
Support #242: Projects for students: crediti F and tesi
Feature #246: Approx QIR
Feature #253: W.Bruns's wish list
Support #256: Improve doc about ordering/grading for poly rings
Feature #257: Transcribe C4 code for GCD in QQ[x]
Feature #258: Multivariate lifting
Feature #259: Squarefree(?) GCD-free basis
Support #262: Play with GIT
Design #263: Move the various <matrix>::mySetEntry procedures into MatrixBase
Design #272: Forward declarations
Bug #277: Eliminate class RefPPMonoidElem?
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?
Design #297: Modules design: brainstorming
Support #302: Compilation on M$Windows: Visual Studio
Feature #303: Rows and Columns of a matrix
Design #305: FreeModule: unique copy?
Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem?
Feature #315: Add doc for ApproxPts2
Design #316: submodule constructor different from ideal
Bug #326: C++ nasty surprises
Slug #329: Why is DMPI slower than DMPClean?
Feature #337: Module homs
Support #353: Missing documentation and tests for myRecvTwinFloat
Design #360: CoCoAServer: what future, what issues?
Feature #374: Porting "IdealOfProjectivePoints"
Feature #379: Iter for subsets/tuples
Feature #383: Resolution/morse: integrate Mario Albert's code into CoCoALib
Feature #386: add resolution data type
Feature #387: implement algorithm(s) for resolutions
Design #396: PPMonoidElemAlias: redesign PPMonoidElem the same way as RingElem?
Feature #399: add myHilbertSeries member field to ideal and (sub)module
Feature #400: add myJBMill member field to ideal
Bug #401: NewFreeModule of dimension 0
Feature #409: Minimal syzygies (optimized implementation)
Design #410: BigRatOperations?
Feature #420: Allow user to give a name to a ring
Design #427: Error names and error messages (current design)
Design #432: Semantics of IsPrintedWithMinus
Feature #436: Improve UPoly eval at BigRat for binary rational
Feature #437: MemPool: order free blocks?
Support #438: Polynomial multiplication (product of RingElem)
Feature #440: Port RealRoots to C++
Feature #442: Eigenvectors
Design #455: Which sets of generators in an ideal?
Feature #459: LinearSimplify: port to CoCoALib
Support #467: Keep CoCoALib web page up to date!
Feature #482: Unique copies of rings -- smart ctor
Support #497: Clang: automatic bug finding
Support #505: Documentation: write doc for RingDenseUPolyClean
Design #513: Quick/correct flag for bool3 fns
Feature #515: Fn to "flatten" muliple polynomial extns
Feature #516: Make squarefreefactor work in multiple polynomial extns
Bug #536: Make RingBase::myCharacteristic a fn rather than a proc
Slug #537: FloatStr uses too much memory
Feature #539: Functions to clean up a factorization
Bug #547: elim using RingTwinFloat triggers error "SERIOUS"
Design #550: add myResolution member field to ideal and (sub)module
Design #551: Reconsider overloaded virtual mem fns
Feature #562: Subrings
Feature #564: Temporary file for experimentation
Feature #565: FloatApprox for TwinFloat values?
Support #569: Documentation for ReductionCog
Feature #570: Allow use of RingElem instead of ring in some functions (e.g. PPM, CoeffRing)
Design #572: Split SparsePolyRing.H into two files?
Feature #575: Investigate using cmake for configuration
Design #581: C++11: MachineInt
Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
Feature #583: New function for printing with extra information
Feature #589: Implement gin (generic initial ideal) in cocoalib
Bug #591: Problem with template instantiation and order of include directives
Design #601: LongRange: in which file should it be declared/defined?
Support #613: Which ubuntu / debian packages are needed to compile CoCoA
Feature #617: configure: check all libraries for compatibility
Support #618: Instructions for compiling libnormaliz
Design #620: Redesign CRTMill
Support #624: Wikipedia
Feature #627: Gaussian integer and rationals ZZi, QQi
Feature #628: Complex twin-floats
Feature #639: Shadow CoCoA namespace to help guarantee portability (without ambiguity)
Bug #640: What is test-Dynamic1.C
Feature #644: Buchberger-Moeller: add option to stop as soon as 1 poly has been found
Feature #645: Automatic mapping of RingElem: user selectable at run-time (GlobalManager?)
Design #647: Unique copies of free modules?
Feature #651: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)
Feature #661: Laurent polynomials
Feature #667: factor: multivariate + finite characteristic
Slug #675: Matrix determinant over multivariate poly ring
Support #676: Credits to CoCoALib contributors
Feature #678: Accumulator (like a geobucket)
Bug #680: DistrMPolyClean does not use MemPool for summands?
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
Design #686: myAddMul in poly rings
Slug #688: PolyAlgebraHom (PolyRingHom) evaluate multivariate polynomials
Feature #690: Fault tolerant rational reconstruction: implement simultaneous version
Slug #691: Matrix determinant over ZZ
Support #695: Remove cruft from test files
Slug #701: Makefile; limit dependencies on external libs
Design #703: Add more operations between modules (CoCoALib)
Design #707: MatrixOrderingMod32749Impl: test and write documentation!
Design #710: Update normaliz interface?
Feature #718: Insert calls to CheckForInterrupt
Slug #722: valuation slow for large inputs
Slug #725: Example database: Slow ideal equality test
Feature #728: Noncommutative algebra "of solvable type"
Bug #736: QuotientRing: is it correct to prohibit quotient by ideal(1)?
Feature #738: Extend homomorphism to polynomial ring
Feature #740: Addition of sparse (multivariate) polynomials
Slug #742: View PP exponent vector (and order vector?) as an array of long?
Bug #746: Problem with GBasis in tower of alg extns
Design #752: Investigate using Boost.build instead of make
Feature #758: configure: have option to say to look for external libs
Design #763: GlobalManager: initialization compatible with initialization of external libs
Feature #765: ExternalLib-CDD: (needed by GFan)
Design #769: CoCoALib cone
Feature #775: PPMonoid with 1 extra "exponent"?
Slug #777: SLUG: elimination
Design #778: CRTMill::myAddInfo accept modulus 1 or not?
Bug #779: Makefile: problem not seeing when files in TmpFactorDir need to be rebuilt
Feature #780: GroebnerFan/ExternalLib-GFan: improve package
Bug #784: threadsafety: Scott Meyers's advice about cached values
Design #785: finite fields: global register of fields already created?
Design #786: MemPool: review min and max loaf sizes
Design #787: Remove refcounts from RingElem?
Support #788: No doc for DistrMPolyInlFpPP
Support #791: Clean code for DistrMPolyClean
Slug #792: configure: search for libgmp too slow
Design #794: ar gives warnings on fedora 23
Feature #797: SmallFpImpl: make it faster
Slug #799: vector of "indets" in each PPMonoid?
Feature #803: PPOrdering: use it to compute WDeg?
Bug #808: Alg Extn by non-zero dim ideal
Design #809: FastCmp for degree -- useful?
Feature #812: PPMonoid pseudo-ctor without explicit ordering
Feature #817: GenRepr in CoCoALib?
Bug #818: F5 with 3 args?
Design #825: IsPositiveGrading -- really need 2 signatures?
Feature #826: Sparse matrices
Feature #828: MachineInt: function for checking that value is greater than some lower limit (and below MAXLONG)
Design #832: Generalize grading matrix
Bug #833: UIBC: need include file in RingWeyl.C
Feature #835: Make Mario's new code threadsafe
Slug #837: factor is very slow on some simple input polynomials
Feature #838: Differential algebra
Feature #839: SparsePolyIter: make more compatible with STL
Feature #840: GINV: alex basis
Design #841: NewPolyRing: tidy up the many different versions
Slug #842: PPMonoidSparse: comparisons are VERY SLOW
Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
Feature #869: SmallFpImpl: different repr for computation and for storage?
Design #871: Redesign ideals
Feature #873: bool3: add some logical operations?
Slug #882: Impl faster multiplication for DUP (dense univariate polys)
Slug #884: DistrMPolyInlPP::myPushFront and DistrMPolyInlPP::myPushBack inefficient if arg is a PP
Design #891: Replace auto_ptr in preparation for C++11?
Design #894: strict enum types: C++11 extension
Slug #897: SimplestBigRatBetween: why is it so slow?
Feature #904: SmallFpDouble: which impl of InvMod to use?
Bug #905: txt2tags: double quotes wrong in LaTeX
Design #906: External libraries: keep copy of compatible versions?
Feature #913: Read input from SymbolicData database
Feature #914: New function: quorem for univariate polynomials?
Feature #919: Hilbert Driven GBasis
Design #921: Design GBMill
Feature #923: Fn to read symbol range (SymbolRange)
Support #926: Documentation: check layout of history at end of generated HTML files (from the txt files)
Bug #930: Printing TwinFloat as (rational) coeff without brackets
Design #932: CoCoALib configuration: BOOST dependency
Design #933: Separate configure scripts for CoCoALib and CoCoA-5
Design #934: MachineInt: change semantics?
Feature #937: LinDepMill: Mill for linear dependencies
Support #942: Which names to use? Intersection vs saturate
Feature #947: IsRadical for ideal?
Slug #952: GCD very slow
Feature #966: New function: first and last for a vector?
Slug #968: Slow NF example
Slug #969: Output to bad stream (operator<< and myOutput): just return immediately
Design #970: Weights in ElimMat?
Support #972: ex-PolyIterator
Feature #974: QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints
Support #976: configure: auxiliary scripts should be consistent about error messages
Design #982: Catching interrupts in example progs?
Bug #986: GFan: require version newer than 0.6
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
Support #1013: GlobalManager: name of object in examples (and tests)
Bug #1014: RowMat, ColMat with arg an empty list/vector
Feature #1022: New "LF" function which is based on StdDeg
Bug #1026: JanetBasis gives error indet index out of range
Support #1039: Rename iroot?
Slug #1049: GroebnerFan: slow examples
Design #1059: Printing ring for ideals (or just for ideals 0 and 1)
Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
Slug #1070: Slug: MakeTermOrd (rk calls in RemoveRedundantRows)
Bug #1089: invalid pointer in "free"
Support #1096: WEB SITE: HTML is not clean!
Design #1098: Ctors for exceptions/errors
Feature #1103: Pseudo-zero-dim ideals
Design #1106: Remove READLINE from CoCoALib
Slug #1110: Determinant of matrix over QQ (whose entries are actually integers)
Bug #1113: gcd crashes (Floating point exception)
Slug #1118: SLUG: factorization of x^9999
Slug #1136: IsInRadical: sometimes a bit slow
Feature #1150: New fn: transform ideal with ring hom
Design #1159: Add global enum "verify/DontVerify"
Design #1168: ideal: does const ourGetPtr really need to be private?
Feature #1173: Upper bound for value of poly in an interval
Feature #1176: interval arithmetic
 
 
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
 
 
CoCoALib
 
 
In Progress 10%
Support #1149: Release: CoCoALib-0.99570 (together with CoCoA-5.4.2)

Project: CoCoALib
Status: In Progress
Start date: 17 Jan 2018
Due date: 30 Jun 2018
Assignee: Anna Maria Bigatti
Priority: Normal
 
« Previous Next »

Also available in: PDF