Project

General

Profile

Feature #1434

GBasisByHomog for DegLex

Added by Anna Maria Bigatti about 4 years ago. Updated about 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
Improving
Target version:
CoCoALib-0.99700
Start date:
04 Mar 2020
Due date:
% Done:

100%

Estimated time:
Spent time:
4.00 h

Description

This should be easy to fix, hopefully

use QQ[x,y,z],DegLex;
L := [-x*z^2 -y +1,  -y*z^2 -z^3,  x^3 +z^2];
I:=ideal(L);GBasis(I);
radical(I);

subtask of #1212

Related issues

Related to CoCoALib - Feature #1212: New function: GBasisByHomogClosed2018-08-05

Related to CoCoALib - Bug #1423: Radical 0-dim NYI? missing case for GBasisByHomogClosed2020-02-25

History

#1 Updated by Anna Maria Bigatti about 4 years ago

#2 Updated by Anna Maria Bigatti about 4 years ago

  • Description updated (diff)

#3 Updated by John Abbott about 4 years ago

  • Related to Bug #1423: Radical 0-dim NYI? missing case for GBasisByHomog added

#4 Updated by Anna Maria Bigatti about 4 years ago

  • Status changed from New to Closed
  • % Done changed from 0 to 100

Done.
I had some problems in finding the correct functions to make the matrix.
I'll write some notes about making the matrix for the general case.

Also available in: Atom PDF