Project

General

Profile

Feature #1016

ReducedGBasis for RingWeyl (and other non-commutative rings)

Added by John Abbott about 7 years ago. Updated almost 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
Improving
Target version:
CoCoALib-0.99550 spring 2017
Start date:
02 Mar 2017
Due date:
% Done:

100%

Estimated time:
1.01 h
Spent time:
1.20 h

Description

Implement ReducedGBasis for RingWeyl and other potential future non-commutative rings.

Related issues

Related to CoCoALib - Feature #961: New function: ReducedGBasisClosed2016-11-03

History

#1 Updated by Anna Maria Bigatti about 7 years ago

  • Related to Feature #961: New function: ReducedGBasis added

#2 Updated by Anna Maria Bigatti almost 7 years ago

  • Description updated (diff)
  • Status changed from New to Feedback
  • Assignee set to Anna Maria Bigatti
  • Target version changed from CoCoALib-1.0 to CoCoALib-0.99550 spring 2017
  • % Done changed from 0 to 90
  • Estimated time set to 1.01 h

I think this is done automatically.
I did not write an example, but I think the problem was about a bug in the interreduction, not just for non-commutative rings. (See https://cocoa.dima.unige.it/redmine/issues/961#note-11)

/**/ NewWeylAlgebra(QQ,"x,y");
RingWithID(5, "QQ[x,y,dx,dy]")
/**/ use It;
/**/ GBasis(ideal(x,dx));
[1]

#3 Updated by Anna Maria Bigatti almost 7 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

Checked: interreduction does not depend on commutativity.
Cleaned up. Closing

Also available in: Atom PDF