Project

General

Profile

Design #301

How to obtain an integer from a finite field element? AsINT?

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

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
CoCoA-5 function: new
Target version:
CoCoA-5.1.0 Easter14
Start date:
08 Feb 2013
Due date:
% Done:

100%

Estimated time:
2.00 h
Spent time:
0.50 h

Description

Let X be a ring elem belonging to a finite field.
How can I get an integer value from X?
At the moment AsINT(X) gives an error (about characteristic being non-zero); but in CoCoALib IsInteger succeeds.

What is the right way to do it?

Related issues

Related to CoCoALib - Feature #233: AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>Closed2012-09-25

Related to CoCoALib - Feature #61: Conversion functions -- documentationClosed2011-12-13

Related to CoCoA-5 - Feature #453: Automatic conversion from INT (or RAT) to RINGELEMIn Progress2014-03-03

History

#1 Updated by Anna Maria Bigatti about 10 years ago

  • Target version set to CoCoA-5.1.0 Easter14

#2 Updated by John Abbott about 10 years ago

  • Category set to CoCoA-5 function: new
  • Status changed from New to Feedback
  • Assignee set to John Abbott
  • % Done changed from 0 to 90

This has already been done (long ago?): AsINT and AsRAT can be applied to RINGELEM belonging to finite characteristic.

Changing state to feedback

#3 Updated by Anna Maria Bigatti about 10 years ago

  • Estimated time set to 2.00 h

#4 Updated by John Abbott almost 10 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

Closing because it's all been working fine for ages; no point in leaving it in feedback.

Also available in: Atom PDF