⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
CoCoALib
All Projects
CoCoA
»
CoCoALib
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
CoCoALib-1.0
6%
220 issues
(0 closed —
220 open
)
Time tracking
Estimated time
684
.00
hours
Spent time
316
.38
hours
Issues by
Tracker
Status
Priority
Author
Assignee
Category
Bug
0/29
Design
0/40
Feature
0/105
Slug
0/21
Support
0/25
Related issues
Bug #6
: Sort out RingElem, RefRingElem, ConstRefRingElem mess
Bug #74
: printing polynomials
Bug #114
: Ideals of polynomials
Bug #130
: Design problem in ideals
Bug #149
: Makefile dependencies
Bug #154
: GCD normalization (e.g. monic)
Bug #196
: PPWithMask needs checking
Bug #232
: No test for QBGenerator
Bug #277
: Eliminate class RefPPMonoidElem?
Bug #326
: C++ nasty surprises
Bug #401
: NewFreeModule of dimension 0
Bug #547
: elim using RingTwinFloat triggers error "SERIOUS"
Bug #591
: Problem with template instantiation and order of include directives
Bug #640
: What is test-Dynamic1.C
Bug #746
: Problem with GBasis in tower of alg extns
Bug #779
: Makefile: problem not seeing when files in TmpFactorDir need to be rebuilt
Bug #784
: threadsafety: Scott Meyers's advice about cached values
Bug #808
: Alg Extn by non-zero dim ideal
Bug #818
: F5 with 3 args?
Bug #833
: UIBC: need include file in RingWeyl.C
Bug #930
: Printing TwinFloat as (rational) coeff without brackets
Bug #986
: GFan: require version newer than 0.6
Bug #1014
: RowMat, ColMat with arg an empty list/vector
Bug #1026
: JanetBasis gives error indet index out of range
Bug #1069
: GroebnerFan: ERROR: Matrix must be invertible
Bug #1089
: invalid pointer in "free"
Bug #1130
: SqFreeFactor: should it work over ZZ?
Bug #1208
: New function: Threadsafe RandomLinearForm (CoCoALib)
Bug #1371
: French students' example with GFan
Design #263
: Move the various <matrix>::mySetEntry procedures into MatrixBase
Design #272
: Forward declarations
Design #297
: Modules design: brainstorming
Design #305
: FreeModule: unique copy?
Design #316
: submodule constructor different from ideal
Design #360
: CoCoAServer: what future, what issues?
Design #396
: PPMonoidElemAlias: redesign PPMonoidElem the same way as RingElem?
Design #427
: Error names and error messages (current design)
Design #432
: Semantics of IsPrintedWithMinus
Design #455
: Which sets of generators in an ideal?
Design #513
: Quick/correct flag for bool3 fns
Design #550
: add myResolution member field to ideal and (sub)module
Design #551
: Reconsider overloaded virtual mem fns
Design #572
: Split SparsePolyRing.H into two files? Problem with circular includes.
Design #620
: Redesign CRTMill
Design #647
: Unique copies of free modules?
Design #686
: myAddMul in poly rings
Design #703
: Add more operations between modules (CoCoALib)
Design #752
: Investigate using Boost.build instead of make
Design #763
: GlobalManager: initialization compatible with initialization of external libs
Design #769
: CoCoALib cone
Design #778
: CRTMill::myAddInfo accept modulus 1 or not?
Design #785
: finite fields: global register of fields already created?
Design #787
: Remove refcounts from RingElem?
Design #809
: FastCmp for degree -- useful?
Design #832
: Generalize grading matrix
Design #841
: NewPolyRing: tidy up the many different versions
Design #846
: IsIrred: correct design?
Design #906
: External libraries: keep copy of compatible versions?
Design #921
: Design GBMill
Design #970
: Weights in ElimMat?
Design #1059
: Printing ring for ideals (or just for ideals 0 and 1)
Design #1098
: Ctors for exceptions/errors
Design #1147
: mySquare and myPowerSmallExp
Design #1156
: Printing for RingElem
Design #1266
: Make a poly ring QQ[x,y,z] also contain a ZZ[x,y,z]
Design #1378
: Create two separate radical fns (for 0-dim ideals)
Design #1491
: Unified Gaussian reduction impl
Design #1632
: C++17: notes about updating
Design #1799
: Clean out OLD CODE?
Feature #92
: Error Codes: BadIndex
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 #146
: Buchberger-Moeller: input conversions
Feature #147
: Buchberger-Moeller: impl via modular reduction
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 #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
Slug #120
: LT over QQ: surprisingly slow
Slug #129
: Better GCD
Slug #329
: Why is DMPI slower than DMPClean?
Slug #537
: FloatStr uses too much memory
Slug #675
: Matrix determinant over multivariate poly ring
Slug #688
: PolyAlgebraHom (PolyRingHom) evaluate multivariate polynomials
Slug #725
: Example database: Slow ideal equality test
Slug #742
: View PP exponent vector (and order vector?) as an array of long?
Slug #799
: vector of "indets" in each PPMonoid?
Slug #837
: factor is very slow on some simple input polynomials
Slug #842
: PPMonoidSparse: comparisons are VERY SLOW
Slug #874
: factor: too slow on largish multivariate poly
Slug #882
: Impl faster multiplication for DUP (dense univariate polys)
Slug #884
: DistrMPolyInlPP::myPushFront and DistrMPolyInlPP::myPushBack inefficient if arg is a PP
Slug #968
: Slow NF example
Slug #1049
: GroebnerFan: slow examples
Slug #1070
: Slug: MakeTermOrd (rk calls in RemoveRedundantRows)
Slug #1187
: Matrix rank is slow (over QQ)
Slug #1324
: Improve RootBound
Slug #1359
: gcd: low degree but big coeffs can be slow
Slug #1369
: RandomUnimodularMat is slow with many iters
Support #59
: List of all functions in CoCoALib
Support #76
: keywords in documentation
Support #87
: Cleanup header for ring classes (so that they are e-diff-able)
Support #112
: automatic creation of all function signatures
Support #161
: Convert old "task table" into redmine
Support #205
: Example for change of coordinates with coeffs in a matrix
Support #231
: Documentation for QBGenerator needs to be improved.
Support #302
: Compilation on M$Windows: Visual Studio
Support #353
: Missing documentation and tests for myRecvTwinFloat
Support #438
: Polynomial multiplication (product of RingElem)
Support #497
: Clang: automatic bug finding
Support #505
: Documentation: write doc for RingDenseUPolyClean
Support #569
: Documentation for ReductionCog
Support #624
: Wikipedia
Support #676
: Credits to CoCoALib contributors
Support #695
: Remove cruft from test files
Support #788
: No doc for DistrMPolyInlFpPP
Support #791
: Clean code for DistrMPolyClean
Support #926
: Documentation: check layout of history at end of generated HTML files (from the txt files)
Support #972
: ex-PolyIterator
Support #1013
: GlobalManager: name of object in examples (and tests)
Support #1096
: WEB SITE: HTML is not clean!
Support #1134
: Organize better the documentation for CoCoALib
Support #1160
: Clean up revised RatReconstructByContFrac code
Support #1584
: Benchmarks?
Loading...