Project

General

Profile

Bug #1172

MinSubsetOfGens: problem with generators = 0

Added by Elisa Palezzato about 6 years ago. Updated over 5 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
bug
Target version:
CoCoA-5.2.4
Start date:
04 Apr 2018
Due date:
% Done:

100%

Estimated time:
Spent time:
2.00 h

Description

In case of type MODULE there is:

J := submodule(ModuleOf(X), WithoutNth(L,I));

but it does not allow to verify IsIn, in the line below, in case of a zero vector.
I tried with:

J := submodule(ModuleOf(X), [V In WithoutNth(L,I) | not(IsZero(V))]);

and it works fine.

History

#1 Updated by Anna Maria Bigatti about 6 years ago

which package?

#2 Updated by Anna Maria Bigatti about 6 years ago

  • Category set to bug
  • Target version set to CoCoA-5.2.4
  • % Done changed from 0 to 30

The problem is actually in GBasis(M) when gens(M) contains a 0 element.
Fixing...

#3 Updated by Anna Maria Bigatti about 6 years ago

Fixed GPolyList EmbedVectorList(const VectorList& theVL, const GRingInfo& theGRI, const long StartingFromCompIndex) in TmpGReductor.C.

Now we can compute GBasis of a submodule with zero-vectors in the generators.

#4 Updated by Anna Maria Bigatti about 6 years ago

  • Subject changed from MinSubsetOfGens to MinSubsetOfGens: problem with generators = 0
  • Status changed from New to Feedback
  • Assignee set to Anna Maria Bigatti
  • % Done changed from 30 to 90

#5 Updated by Anna Maria Bigatti over 5 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

Also available in: Atom PDF