Feature #598: Syzygy for modules: non-homogeneous module - CoCoALib - CoCoA Project

Feature #598

Syzygy for modules: non-homogeneous module

Added by John Abbott over 9 years ago. Updated 29 days ago.

Status:

In Progress

Priority:

Normal

Assignee:

Anna Maria Bigatti

Category:

Improving

Target version:

CoCoALib-0.99880

Start date:

15 Mar 2013

Due date:

% Done:

40%

Estimated time:

Spent time:

0.35 h

Description

Syz for modules with non-homogeneous input.
Maybe the CoCoALib code works, but....
needs proper testing.

/**/ Use R ::= QQ[x,y,z];
/**/ I := ideal(x^2, x*y-1);
/**/  syz(gens(I));
submodule(FreeModule(RingWithID(3,"QQ[x,y,z]"), 2), [[x*y -1, -x^2]])
/**/ syz(It);

Related issues

History

#1 Updated by Anna Maria Bigatti over 9 years ago

Subject changed from Syzygy for modules to Syzygy for modules: non-homogeneous module
Status changed from In Progress to New
Target version changed from CoCoA-5.1.1 Seoul14 to CoCoA-5.?.?
% Done changed from 20 to 10

#2 Updated by Anna Maria Bigatti 30 days ago

Status changed from New to Feedback
Target version changed from CoCoA-5.?.? to CoCoA-5.4.2
% Done changed from 10 to 90

This issue is old.
I'm making a test file test-sys.cocoa5.
I'll update and write there what we have working for homog and non-homog modules and ideals.