Project

General

Profile

Design #1533

RingElem and IndetSymbols not compatible

Added by John Abbott over 3 years ago. Updated over 3 years ago.

Status:
In Progress
Priority:
Low
Assignee:
-
Category:
enhancing/improving
Target version:
CoCoA-5.4.2
Start date:
06 Nov 2020
Due date:
% Done:

10%

Estimated time:
Spent time:
0.30 h

Description

The funcrions RingElem and IndetSymbols are sort-of-inverses; but we could perhaps do better?

P ::= QQ[a,b[1]];
L := IndetSymbols(P); --> list of RECORDs
RingElem(P, L[1]); --> ERROR
RingElem(P,  concat([L[1].head], L[1].indices)); --> OK

The last line above is a bit ugly!
Should we make it simpler/neater?

Related issues

Related to CoCoALib - Feature #1532: Convenient RingHom pseudo-ctorsIn Progress2020-11-06

History

#1 Updated by John Abbott over 3 years ago

  • Related to Feature #1532: Convenient RingHom pseudo-ctors added

#2 Updated by John Abbott over 3 years ago

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

#3 Updated by John Abbott over 3 years ago

The obvious convenient solution would be to allow RingElem to accept the RECORD produced by IndetSymbols.
Might that cause problems?

Also available in: Atom PDF