Project

General

Profile

Feature #803

PPOrdering: use it to compute WDeg?

Added by John Abbott over 8 years ago. Updated over 6 years ago.

Status:
In Progress
Priority:
Normal
Assignee:
-
Category:
New Function
Target version:
CoCoALib-1.0
Start date:
11 Nov 2015
Due date:
% Done:

10%

Estimated time:
Spent time:
0.25 h

Description

Should objects of type PPOrdering be able to compute WDeg vectors and/or individual components of WDeg vectors?

This would be helpful in implementing PPMonoidSparse.

Related issues

Related to CoCoALib - Feature #800: PPMonoidSparse: impl of sparse PPsClosed2015-11-09

Related to CoCoALib - Design #602: OrdMat: should it be a reference to a MatrixView in all PPOrderings?Closed2014-07-31

Related to CoCoALib - Design #311: XelMat, StdDegRevLexMat, ... should be MatrixViewClosed2013-02-14

History

#1 Updated by John Abbott over 8 years ago

  • Status changed from New to In Progress
  • % Done changed from 0 to 10

The main task I want to simplify is that of implementing myWDeg, myCmpWDeg and myCmpWDegPartial for PPMonoidSparse.

My main inspiration comes from the impls in PPMonoidEv.C since they are likely to be fairly similar to what is needed for PPMonoidSparse.

For brevity, I shall henceforth write PPMS for PPMonoidSparseImpl.
For PPMS::myWDeg it could be handy to have a function which computes the WDeg of a single (index,exp) pair; I can then add all results together.

What is needed to be able to implement PPMonoidSparseImpl::myCmpWDegPartial efficiently? I notice that the PPMonoidEv impl of myCmpWDegPartial effectively computes the WDegs of the two PPs one component at a time, and stops as soon as they are unequal. To be able to mimic this for PPMS I would need a function which gives the k-th component of the WDeg of an (index,exp) pair (or just the k-th component of the index-th indet). But this is effectively just accessing a single entry in the order matrix! See issue #602

#2 Updated by Anna Maria Bigatti about 8 years ago

  • Target version changed from CoCoALib-0.99540 Feb 2016 to CoCoALib-0.99550 spring 2017

#3 Updated by John Abbott over 7 years ago

  • Target version changed from CoCoALib-0.99550 spring 2017 to CoCoALib-0.99560

#4 Updated by John Abbott over 6 years ago

  • Target version changed from CoCoALib-0.99560 to CoCoALib-1.0

Also available in: Atom PDF