Project

General

Profile

Feature #1589

IdealOfPoints: allow matrix of points to be defined over "wrong" ring

Added by Anna Maria Bigatti about 3 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
Improving
Target version:
CoCoALib-0.99800
Start date:
20 Apr 2021
Due date:
% Done:

100%

Estimated time:
1.11 h
Spent time:
1.15 h

Description

This works

/**/  use P ::= QQ[x,y];
/**/  Points := mat([[1, 2], [3, 4], [5, 6]]);
/**/  I := IdealOfPoints(P, Points);

and this doesn't (matrix over QQ)
/**/  use P ::= ZZ/(101)[x,y];
/**/  Points := mat([[1, 2], [3, 4], [5, 6]]);
/**/  I := IdealOfPoints(P, Points);

History

#1 Updated by Anna Maria Bigatti about 3 years ago

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

Easy to fix for most of the reasonable cases.

/**/ use P ::= ZZ/(101)[x,y];
/**/ Points := mat([[1, 2], [3, 4], [5, 6]]);
/**/ I := IdealOfPoints(P, mat(CoeffRing(P),Points));

just do the embedding of the matrix inside the C++ code.
Only delicate bit: give a good error message if canonical embedding fails (for example 3/101 --> ZZ/(101) ).

#2 Updated by Anna Maria Bigatti over 2 years ago

checked in (4 Oct 21)

#3 Updated by Anna Maria Bigatti over 2 years ago

  • Status changed from Resolved to Feedback
  • % Done changed from 70 to 90

Added test

#4 Updated by John Abbott over 2 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100
  • Estimated time set to 1.11 h

This has been in feedback for 4 months without incident, so we can close.

Also available in: Atom PDF