Project

General

Profile

Feature #1285

New Fn: make a homogeneous list of ringelem

Added by John Abbott almost 5 years ago. Updated almost 5 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
CoCoA-5 function: new
Target version:
CoCoA-5.?.?
Start date:
23 May 2019
Due date:
% Done:

0%

Estimated time:
Spent time:
0.20 h

Description

Proposal: create a new function which takes a ring and a list, and returns a list of RINGELEM belonging to the specified ring.

R ::= QQ[x,y];
L := [x,0,1,y];
HomogList(R, L);
[x,0,1,y] -- but all as elements in R
-- Perhaps also
HomogList(R, [x, LC(x)]);
[x,1]

History

#1 Updated by John Abbott almost 5 years ago

What exactly should the function do? What should it be called?

  • (A) simplest is to accept RINGELEM and INT and RAT and map them into the given ring (by calling pseudo-ctor?)
  • (B) give error if there are @RINGELEM@s which are in the wrong ring?
  • (C) other ideas?
define ListOfRingElem(R, L)
  return [RingElem(R,x) | x in L];
enddefine;

Florian would also like a similar function which eliminates zeroes...

Also available in: Atom PDF