Project

General

Profile

Feature #320

PPMonoid pseudo-ctors without symbol names

Added by John Abbott about 11 years ago. Updated about 11 years ago.

Status:
Rejected
Priority:
Normal
Assignee:
John Abbott
Category:
New Function
Target version:
CoCoALib-0.9953
Start date:
21 Feb 2013
Due date:
% Done:

0%

Estimated time:
Spent time:
1.00 h

Description

Here are 3 proposals for new PPMonoid pseudo-ctor signatures:

  PPMonoid NewPPMonoid(const PPOrdering& ord);
  PPMonoid NewPPMonoid(const MachineInt& nvars, const PPOrdering& ord);
  PPMonoid NewPPMonoid(const MachineInt& nvars, const PPOrderingCtor& ord);

Is the second pseudo-ctor useful? The PPOrdering already knows the number of indets it expects!

NB This idea was buried in issue #156.

Related issues

Related to CoCoALib - Feature #812: PPMonoid pseudo-ctor without explicit orderingNew2015-11-23

Related to CoCoALib - Design #1223: NewPolyRing default indet namesClosed2018-09-02

History

#1 Updated by John Abbott about 11 years ago

What would we want these pseudo-ctors to do?
  1. create a PPMonoid using anonymous symbols
  2. create a PPMonoid using named symbols (e.g. x[1] upto x[n])

Anna thinks (2) is better because it corresponds to what we do when creating a new sparse poly ring without specifying the names.

#2 Updated by John Abbott about 11 years ago

  • Category set to New Function
  • Status changed from New to In Progress
  • Assignee set to John Abbott
  • Target version set to CoCoALib-0.9953

John and Anna do not yet agree on what names should be given to the indets in a PPM created by these fns: John prefers (1), Anna prefers (2).

It is not especially onerous to achieve the behaviours (1) and (2) explicitly: for instance

NewPPMonoid(NewSymbols(n), ChosenOrdering);        -- anonymous symbols
NewPPMonoid(SymbolRange("x",1,n), ChosenOrdering); -- symbols x[1..n]

John now proposes that this issue be rejected because:
  • it offers little saving over existing ways of creating PPMs
  • the precise meaning is ambiguous (J & A have different expectations)

#3 Updated by John Abbott about 11 years ago

  • Status changed from In Progress to Rejected

Both Anna and John think this issue should be rejected.

#4 Updated by John Abbott over 5 years ago

  • Related to Design #1223: NewPolyRing default indet names added

Also available in: Atom PDF