Skip to content

Make RDF round and friends return Integers #2899

@jasongrout

Description

@jasongrout
> Also, round(RR(3.0)) returns an Integer...should RDF behave the same
> > way? (currently round(RDF(3.0)) returns an RDF).

We recently changed round, floor, ceiling, and trunc on RR to return
integers; yes, I think the corresponding RDF methods should change as
well.

Carl

Component: coercion

Issue created by migration from https://trac.sagemath.org/ticket/2899

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions