Hide keyboard shortcuts

Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

from sage.libs.mpfr.types cimport mpfr_prec_t 

from sage.libs.mpfi.types cimport mpfi_t 

  

from sage.rings.ring cimport Field 

  

from sage.structure.element cimport RingElement 

  

from .rational cimport Rational 

from .real_mpfr cimport RealField_class 

  

cdef class RealIntervalFieldElement(RingElement) # forward decl 

  

cdef class RealIntervalField_class(Field): 

cdef mpfr_prec_t __prec 

cdef bint sci_not 

# Cache RealField instances for the lower, upper, and middle bounds. 

# These have the same precision as the interval field; 

# __lower_field rounds down, __upper_field rounds up. 

# These fields with their roundings are not used for computation 

# in this module, but they do affect the printing and the return 

# values of lower() and upper(). Consider a 3-bit 

# interval containing exactly the floating-point number 1.25. 

# In round-to-nearest or round-down, this prints as 1.2; in round-up, 

# this prints as 1.3. The straightforward options, then, are to 

# print this interval as [1.2 ... 1.2] (which does not even contain 

# the true value, 1.25), or to print it as [1.2 ... 1.3] (which 

# gives the impression that the upper and lower bounds are not 

# equal, even though they really are). Neither of these is very 

# satisfying, but I have chosen the latter for now. 

cdef RealField_class __lower_field 

cdef RealField_class __middle_field 

cdef RealField_class __upper_field 

  

cdef inline RealIntervalFieldElement _new(self): 

"""Return a new real interval with parent ``self``.""" 

t = <type>self.element_class 

return <RealIntervalFieldElement>(t.__new__(t, self)) 

  

  

cdef class RealIntervalFieldElement(RingElement): 

cdef mpfi_t value 

  

cdef inline RealIntervalFieldElement _new(self): 

"""Return a new real interval with same parent as ``self``.""" 

return (<RealIntervalField_class>self._parent)._new() 

cdef RealIntervalFieldElement abs(RealIntervalFieldElement self) 

cdef Rational _simplest_rational_helper(self) 

cpdef _str_question_style(self, int base, int error_digits, e, bint prefer_sci)