Feature #1001: CoCoALib: ideas for student projects - CoCoALib - CoCoA Project

Feature #1001

Status:

In Progress

Priority:

Normal

Assignee:

Category:

New Function

Target version:

Start date:

19 Jan 2017

Due date:

% Done:

10%

Estimated time:

Spent time:

Description

Collect here ideas for potential student projects based on CoCoALib.

Related issues

Here are some ideas:

write a fn IsCyclotomic for univariate polynomials (based on paper by Bradford+Davenport)
write a fn IsDegenerate for univariate polynpomials (based on paper by Cipu, Diouf, Mignotte) -- JAA does not like the fn name
[already done?] write code for subresultant (and perhaps some variants?)
write a simple impl of NLSAT (paper by ), perhaps just for the case of 2 indets?
write a simple impl of Gao-Volny-Wang
translate QIR code into C++/CoCoALib
write better impls for certain rings homs (e.g. for verifying correctness of "implicit")
a fn which produces the simplest non-neg integer matrix giving the same term ordering (perhaps with given GradingDim)
Translate a cocoa-5 function from a package into CoCoALib (see comment 4 below)

Related to Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi) added

Here are some more (weaker?) ideas:

a fn which produces the simplest non-neg integer matrix giving the same term ordering (perhaps with given GradingDim)

Translate a cocoa-5 function from a package into CoCoALib.

GCDList (coclib.cpkg5)
FactorUnivariate (coclib.cpkg5)
iterators for subsets, permutations (combinatoria.ckg5)
iterators for tuples and/or cartesian prod? (combinatoria.cpkg5 and list.cpkg5)
iterator for partitions? (combinatoria.cpkg5)
??? (posets.cpkg5)
RationalPoints.cpkg5
real root isolation (RealRoots.cpkg5)
GB over ZZ (prototype-GBZZ.cpkg5)