Project

General

Profile

Feature #123

IdealOfPoints with generic coeffs

Added by Anna Maria Bigatti about 12 years ago. Updated almost 10 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
New Function
Target version:
CoCoALib-1.0
Start date:
04 Apr 2012
Due date:
% Done:

0%

Estimated time:
Spent time:
1.00 h

Description

Think about the implementation of IdealOfPoints in the case of generic coefficients (e.g. in QQ(a))
Implement it and publish a paper about it!

Related issues

Related to CoCoALib - Feature #144: Buchberger-Moeller: generic implClosed2012-05-01

Related to CoCoALib - Feature #143: Buchberger-Moeller (parent task)In Progress2012-05-01

Related to CoCoA-5 - Feature #960: New function: IdealAndSeparatorsOfPointsNew2016-11-02

History

#1 Updated by John Abbott about 11 years ago

A reasonable outline of algorithm is:
  1. Choose a suitable homomorphism (to a prime (finite?) field?).
  2. Compute basis in homomorphic image.
  3. Using the QB from homomorphic image, use lin alg to compute the GBasis.

#2 Updated by Anna Maria Bigatti about 11 years ago

  • Category set to New Function

#3 Updated by Anna Maria Bigatti about 10 years ago

  • Target version set to CoCoALib-0.99532

Is this a duplicate of issue #144?

#4 Updated by John Abbott about 10 years ago

  • Target version changed from CoCoALib-0.99532 to CoCoALib-0.99533 Easter14

#5 Updated by John Abbott about 10 years ago

  • Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14

#6 Updated by John Abbott almost 10 years ago

  • Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0

#7 Updated by Anna Maria Bigatti over 7 years ago

  • Related to Feature #960: New function: IdealAndSeparatorsOfPoints added

Also available in: Atom PDF