Feature #200: add modules and module operations - CoCoA-5 - CoCoA Project

#1 Updated by Anna Maria Bigatti about 11 years ago

Status changed from New to In Progress
% Done changed from 0 to 10

added types MODULE and MODULEELEM.
added functions: NewFreeModule, arithmetics for type MODULEELEM.

#2 Updated by Anna Maria Bigatti about 11 years ago

Category set to CoCoA-4 function to be added
Assignee set to Anna Maria Bigatti
Target version set to CoCoA-5.0.3

added zero(module), BaseRing(module), RingOf(module), RingOf(ModuleElem)
added stub documentation

#3 Updated by Anna Maria Bigatti about 11 years ago

% Done changed from 10 to 20

#4 Updated by Anna Maria Bigatti about 11 years ago

added LPP, LPosn, LT, wdeg

#5 Updated by Anna Maria Bigatti about 11 years ago

added FirstNonZeroPosn, homog(ModuleElem) (for GradingDim=1)

#6 Updated by Anna Maria Bigatti about 11 years ago

Added SyzOfGens for an ideal both in cocoalib and cocoa-5
(and manual in cocoa-5).
This is still quite rough as there is no control on the module in which the output resides (this is automatically created in the raw C++ code).
There should be at least the possibility of passing the free module so that two successful computation reside in the same module.

/**/  I := Ideal(x, x, y);
/**/  SyzOfGens(I);
submodule(FreeModule(...), [[1, -1, 0], [0, y, -x]])

#7 Updated by Anna Maria Bigatti about 11 years ago

added GensAsRows, GensAsCols (and manual)
added NewFreeModuleForSyz + consequences

#8 Updated by Anna Maria Bigatti about 11 years ago

Estimated time changed from 10.00 h to 20.00 h

#9 Updated by Anna Maria Bigatti about 11 years ago

added GenRepr in packages/hilop

#10 Updated by John Abbott about 11 years ago

New module fns to add:

rank
IsIn
equality test

#11 Updated by Anna Maria Bigatti almost 11 years ago

% Done changed from 20 to 30

#12 Updated by Anna Maria Bigatti almost 11 years ago

John Abbott wrote:

IsIn

equality test

added IsElem, IsContained for (sub)modules, and then IsIn and equality test

#13 Updated by Anna Maria Bigatti over 10 years ago

Target version changed from CoCoA-5.0.3 to CoCoA-5.0.9
% Done changed from 30 to 50

added v[i] where v is a ModuleElem (real miracle in Interpreter.[HC], indexedByBigInt),
added IsHomog(M), IsZero(M), LT for M (sub)module.
currently working on HilbertSeries.