CoCoA Project

Implement "elim" in CoCoALib

Immediate

18 Mar 2024 15:58

New Function

1781

GenReprCompute: SERIOUS ERROR

Urgent

09 Feb 2024 08:16

bug

1246

Revive old CoCoA4 package called "cocoa5.cpkg"

Urgent

14 Mar 2023 11:58

CoCoA-4 function to be added

946

Function "ideal" evaluates the argument twice

Urgent

23 Feb 2022 12:14

Parser/Interpreter

474

Eliminate package BinRepr

Urgent

03 Feb 2022 19:47

Cleaning

78

Elim ordering and matrix ordering in CoCoA-5

High

28 Mar 2024 07:25

CoCoA-4 function to be added

313

Elim(vector<long>) as PPOrderingCtor

High

22 Mar 2024 18:17

New Function

1740

MinGens gives non minimal gens *if some deg=0*

High

22 Mar 2024 18:04

Maths Bugs

1057

Slug: Polynomial ring contructor slow with (big) matrix ordering

High

22 Mar 2024 09:31

Improving

898

New function: cardinality of finite field?

High

08 Mar 2024 17:45

New Function

26

High

Redmine Administration

23 Feb 2024 10:59

Documentation

7

Automatic mapping between (some) rings

High

10 Mar 2023 17:08

Parser/Interpreter

1568

RMap and image: obsolescent?

High

17 Oct 2022 14:04

CoCoA-4 function: obsolete

322

Installation instructions (on website)

High

13 Jun 2022 15:32

Manual/documentation

386

High

add resolution data type

11 Jun 2015 14:58

New Function

409

Minimal syzygies (optimized implementation)

High

31 Jul 2014 12:36

New Function

387

implement algorithm(s) for resolutions

High

30 Jul 2014 17:04

New Function

399

add myHilbertSeries member field to ideal and (sub)module

High

30 Jul 2014 17:04

New Function

388

port optimized resolutions to CoCoA-5

High

02 Jul 2014 16:13

CoCoA-4 function to be added

707

MatrixOrderingMod32749Impl: test and write documentation!

Normal

25 Apr 2024 21:46

Safety

937

LinDepMill: Mill for linear dependencies

Normal

18 Apr 2024 16:38

New Function

1662

txt2tags: problem with filenames containing "_" or "-"

Normal

09 Apr 2024 14:21

Documentation

1687

Normal

Release CoCoALib 0.99850

29 Mar 2024 10:42

Various

Normal

28 Mar 2024 08:45

Documentation

1808

New constructor for PolyRing with elimination ordering

Normal

28 Mar 2024 07:35

New Function

598

Syzygy for modules: non-homogeneous module

Normal

27 Mar 2024 17:31

Improving

1805

Add CoCoA-5 syntax: syz(<F,> list of ModuleElem)

Normal

26 Mar 2024 12:16

Incomplete function

1803

Improve trivial operations with ideal whose GBasis is [1]

Normal

25 Mar 2024 19:06

Normal

25 Mar 2024 17:55

Tidying

Normal

22 Mar 2024 18:12

Improving

1796

myFinalizeGBasis ("Final clean up") should be more flexible

Normal

22 Mar 2024 16:19

Improving

1094

Revive code for SelfSaturating GBasis

Normal

22 Mar 2024 14:38

New Function

Normal

22 Mar 2024 10:18

Improving

1179

Clean up SparsePolyOps-MonomialIdeals

Normal

22 Mar 2024 09:33

Tidying

629

Windows-GUI: compilation with MinGW

Normal

19 Mar 2024 22:21

Portability

1704

Symlink directory for external files needed by CoCoA-5

Normal

18 Mar 2024 09:29

Tidying

1665

Compilation on Windows: problems for normaliz

Normal

18 Mar 2024 09:27

Documentation

1417

RadicalZeroDim with extra parameter for GBasis timeout

Normal

16 Mar 2024 21:42

Improving

1066

Documentation: translation table

Normal

08 Mar 2024 18:16

Documentation

Normal

08 Mar 2024 18:15

Tidying

958

New function: multiplicity and dim

Normal

08 Mar 2024 18:15

New Function

1132

Canonical homomorphism for (some) polynomial rings?

Normal

08 Mar 2024 18:01

New Function

1254

New function: MinPoly for pseudo-zero-dimensional ideals

Normal

07 Mar 2024 20:25

New Function

1786

Add new function for IsInRadical for monomial ideals? (RadicalMembership)

Normal

01 Mar 2024 18:37

Improving

1782

Make CoCoALib test file for radical

Normal

01 Mar 2024 09:44

Tidying

949

New function: IdealWithIncrementalGBasis(I, f)

Normal

16 Feb 2024 18:03

New Function

1433

HilbertDriven Buchberger Algorithm

Normal

16 Feb 2024 18:02

New Function

924

FlagManager for bool/bool3 flags

Normal

16 Feb 2024 17:57

Data Structures

1422

Remove flag IhaveGBasisValue?

Normal

16 Feb 2024 17:56

Data Structures

1441

GFan: port CoCoA_5 functions into CoCoALib

Normal

16 Feb 2024 17:54

New Function

Normal

16 Feb 2024 17:49

Maths Bugs

1575

DynamicBitset missing arg checks

Normal

16 Feb 2024 09:46

Safety

1737

Homogenization of an ideal with ZZ^1-grading

Normal

01 Feb 2024 19:59

Improving

368

port SmithNormalForm (CoCoA-4)package to CoCoA-5

Normal

22 Jan 2024 10:37

CoCoA-4 function to be added

1775

CoCoALib releases on redmine

Normal

Look of first Redmine page linked from CoCoA web page

12 Jan 2024 13:29

Documentation

1774

CoCoA

Normal

12 Jan 2024 13:18

Administration

1776

CoCoA-5 releases on redmine

Normal

12 Jan 2024 11:53

Manual/documentation

1746

ManExamples target: need t reset VerbosityLevel

Normal

22 Dec 2023 20:09

Cleaning

1681

Should Starting be case-insensitive?

Normal

22 Dec 2023 11:27

enhancing/improving

1762

CoCoA web site "analytics"

Normal

21 Aug 2023 18:20

enhancing/improving

1751

Manual of functions vs ManExamples

Normal

03 Jul 2023 20:54

1744

Implement GBMill (aka Groebner Framework)

Normal

25 May 2023 14:30

Data Structures

1743

Implement Truncated GBases for homogeneous input

Normal

19 May 2023 15:42

New Function

1742

Normal

MinGens could be faster

18 May 2023 13:44

Improving

1731

Verbosity level in CoCoA5

Normal

11 May 2023 07:34

enhancing/improving

175

Approximate BuchbergerMoeller: port to CoCoA-5

Normal

14 Mar 2023 22:12

CoCoA-4 function to be added

1596

Add CoCoA5 function NmzHilbertBasisKer

Normal

14 Mar 2023 14:59

CoCoA-5 function: new

177

CoCoAManual: General part of the documentation is obsolete: update? discard?

Normal

10 Mar 2023 17:02

Manual/documentation

1711

Normal

Development releases?

09 Mar 2023 20:56

Various

1337

PrimaryDecomposition: a interesting/pathological example

Normal

08 Mar 2023 21:13

Improving

1373

Normal

GFan also for Microsoft?

17 Oct 2022 13:59

Portability

Normal

13 Jun 2022 15:31

CoCoA-4 function to be added

Normal

18 Feb 2022 16:42

Parser/Interpreter

Normal

18 Feb 2022 16:18

CoCoA-5 function: new

985

Microsoft (Windows 10, maybe other versions): more help for installation

Normal

16 Feb 2022 20:26

EmacsUI

1548

Man page for UniversalGBasis

Normal

03 Feb 2022 20:18

Manual/documentation

1454

Filenames in release CoCoAManual/html containing [obsolete]

Normal

03 Feb 2022 20:17

Manual/documentation

557

CoCoAManual: improve part on input/output

Normal

03 Feb 2022 20:15

Manual/documentation

929

Clean up CoCoALibSupplement

Normal

03 Feb 2022 19:48

Cleaning

865

Implicit: make easier to use with rational functions

Normal

03 Feb 2022 19:20

enhancing/improving

1103

Normal

Pseudo-zero-dim ideals

05 Nov 2021 16:09

Improving

Normal

04 Nov 2021 23:01

CoCoA-5 function: new

Normal

02 Apr 2021 09:28

Normal

DivAlg slower than NR

08 Jan 2021 11:20

enhancing/improving

376

Hilbert: Redesign hp.cpkg5 and public functions in TmpHilbert.C

Normal

06 Aug 2020 12:21

Cleaning

1116

Port RowMat, ColMat, MatByRows,... to CoCoA-5

Normal

01 Oct 2019 14:40

enhancing/improving

765

ExternalLib-CDD: (needed by GFan)

Normal

11 Sep 2019 13:47

Portability

290

Which functions are defined in CoCoALibSupplement?

Normal

29 Mar 2019 19:23

Parser/Interpreter

1153

New function: gin for algebraic extensions

Normal

25 Jul 2018 15:36

CoCoA-5 function: new

964

New function: MakeMultiset?

Normal

25 Jul 2018 15:35

CoCoA-5 function: new

Normal

11 Dec 2017 16:45

enhancing/improving

Normal

06 Nov 2017 13:40

Documentation

703

Add more operations between modules (CoCoALib)

Normal

27 Oct 2017 11:53

New Function

1107

CoCoA Online: install (using InteractiveShell)

Normal

16 Oct 2017 16:54

CoCoA-5 function: new

1070

Slug: MakeTermOrd (rk calls in RemoveRedundantRows)

Normal

17 May 2017 13:47

Improving

676

Credits to CoCoALib contributors

Normal

28 Apr 2017 11:06

Documentation

780

GroebnerFan/ExternalLib-GFan: improve package

Normal

21 Apr 2017 11:06

Improving

505

Documentation: write doc for RingDenseUPolyClean

Normal

21 Sep 2016 17:15

Documentation

287

--fullCoCoALibError prints too much (Try/UponError)

Normal

02 Sep 2016 13:54

Parser/Interpreter

913

Read input from SymbolicData database

Normal

02 Aug 2016 10:55

New Function

809

FastCmp for degree -- useful?

Normal

27 Nov 2015 16:06

Tidying

791

Clean code for DistrMPolyClean

Normal

02 Nov 2015 22:13

Tidying

702

Add more operations for modules

Normal

15 May 2015 09:05

CoCoA-4 function to be added

686

Normal

myAddMul in poly rings

20 Apr 2015 13:22

Tidying

614

Add functions based on MayerVietorisTree

Normal

04 Sep 2014 14:05

CoCoA-4 function to be added

106

I:f (IDEAL and RINGELEM) -- operator colon

Normal

02 Sep 2014 11:12

Incomplete function

600

Normal

efficient subalgebras

30 Jul 2014 17:29

enhancing/improving

412

intersection (all lower case)

Normal

28 Jul 2014 17:41

CoCoA-4 function to be added

512

Normal

Resurrect MakeCheck()

28 Jul 2014 16:20

CoCoA-4 function to be added

589

Implement gin (generic initial ideal) in cocoalib

Normal

15 Jul 2014 18:17

New Function

205

Example for change of coordinates with coeffs in a matrix

Normal

14 Jul 2014 14:39

Documentation

87

Cleanup header for ring classes (so that they are e-diff-able)

Normal

10 Jul 2014 16:26

Tidying

316

submodule constructor different from ideal

Normal

10 Jul 2014 16:21

Tidying

296

Documentation for Parser/Interpreter

Normal

09 Apr 2014 17:22

Manual/documentation

501

Toric: resurrect function TestSet (and find betterr name for it?)

Normal

09 Apr 2014 15:53

CoCoA-4 function to be added

196

PPWithMask needs checking

Normal

04 Apr 2014 17:50

Documentation

274

InputForm for output readable as input

Normal

04 Apr 2014 16:43

CoCoA-5 function: new

1394

Oddly slow GBasis computation (slow final cleanup)

Low

16 Apr 2024 22:46

Improving

1623

EmacsUI: annoying colours

Low

19 Jan 2024 16:50

EmacsUI

476

Review utility of package IO

Low

03 Feb 2022 19:09

Cleaning

1096

WEB SITE: HTML is not clean!

Low

31 Aug 2017 10:05

Documentation

671

Emacs UI: swapped splitting

Low

09 Mar 2015 13:49

EmacsUI

424

Emacs UI: Name of emacs init file

Low