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
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"
 
 
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
CoCoALib
 
« Previous Next »

Also available in: PDF