Project

General

Profile

Feature #1654

New function IsInSymbols

Added by Anna Maria Bigatti about 2 years ago. Updated 12 months ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
-
Start date:
28 Jan 2022
Due date:
% Done:

0%

Estimated time:
Spent time:

Description

We misuse AreDistinct to test whether a symbol is in a PolyRing.
The advantage is that AreDistinct sees just symbols, but that's costly!

This is a very invasive little function (in all rings).
I think we'll need also something like IsArityConsistent.


Related issues

Related to CoCoA-5 - Slug #1629: RingElem slow with many indetsClosed2021-11-08

History

#1 Updated by Anna Maria Bigatti about 2 years ago

  • Related to Slug #1629: RingElem slow with many indets added

#2 Updated by John Abbott about 2 years ago

Anna, could you please describe more explicitly what you are proposing?
I am not sure I understand from the issue description.

#3 Updated by Anna Maria Bigatti 12 months ago

John Abbott wrote:

Anna, could you please describe more explicitly what you are proposing?
I am not sure I understand from the issue description.

comes from #1629#note-5 and #1629#note-10

#4 Updated by Anna Maria Bigatti 12 months ago

See function

  RingElemRawPtr RingBase::myNew(const symbol& s) const

in ring.C

Also available in: Atom PDF