Project

General

Profile

Feature #68

propose to make EPS32 and EPS 64 exported items of Reals.Mod

Added by Patrick Hunziker 8 months ago. Updated 8 months ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
Application Code

Description

re-occurs at various places in application code otherwise

History

#1 Updated by Florian Negele 8 months ago

Could you please elaborate on what exactly should be exported?

#2 Updated by Patrick Hunziker 8 months ago

machine epsilon, specific for hardware/datatype
https://en.wikipedia.org/wiki/Machine_epsilon

#3 Updated by Felix Friedrich 8 months ago

  • Category set to Application Code

#4 Updated by Patrick Hunziker 8 months ago

solved. is now in XX.Reals.Mod

#5 Updated by Florian Negele 8 months ago

  • Status changed from New to Closed

Also available in: Atom PDF