Project

General

Profile

Bug #1172

MinSubsetOfGens: problem with generators = 0

Added by Elisa Palezzato 4 months ago. Updated 4 months ago.

Status:
Feedback
Priority:
Normal
Category:
bug
Target version:
Start date:
04 Apr 2018
Due date:
% Done:

90%

Estimated time:
Spent time:

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 4 months ago

which package?

#2 Updated by Anna Maria Bigatti 4 months 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 4 months 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 4 months 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

Also available in: Atom PDF