Project

General

Profile

Bug #155

gcd: multivariate over non-prime finite field

Added by John Abbott almost 12 years ago. Updated almost 12 years ago.

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
Various
Target version:
CoCoALib-0.9951
Start date:
07 May 2012
Due date:
% Done:

100%

Estimated time:
1.50 h
Spent time:
1.50 h

Description

GCD produces an unexpected error. Here is an example:

p := 7;
Fp ::= ZZ/(p);
Fpx ::= Fp[x];
Use Fpx;
m := x^2+4;
Fq := Fpx/Ideal(m);
IsFiniteField(Fq);
P ::= Fq[a,b,c];
Use P;
gcd(a,b);

The error is Duplicate indet names or varied number of indices for a single name

Related issues

Related to CoCoALib - Feature #156: Brand new symbol(s)Closed2012-05-07

History

#1 Updated by John Abbott almost 12 years ago

The guilty line is 1480 in TmpGReductor.C

My example used an unindexed x in the field of coeffs -- this triggered the clash detected in line 1486.

I have spun off issue #156 because of this.

#2 Updated by John Abbott almost 12 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 90

A first impl of nameless symbols together with a change to line 1480 in TmpGReductor.C has solved the problem.

Anna will add the "troublesome" CoCoA code to one of the standard tests.

Once Anna has done that this issue is closed (but not #156).

#3 Updated by Anna Maria Bigatti almost 12 years ago

  • Category set to Various
  • Status changed from Resolved to Closed
  • Assignee set to John Abbott
  • Target version set to CoCoALib-0.9951
  • % Done changed from 90 to 100
  • Estimated time set to 1.50 h

Also available in: Atom PDF