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

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141

142

143

144

145

146

147

148

149

150

151

152

153

154

155

""" 

Rings 

""" 

 

#***************************************************************************** 

# Copyright (C) 2005 William Stein <wstein@gmail.com> 

# 

# This program is free software: you can redistribute it and/or modify 

# it under the terms of the GNU General Public License as published by 

# the Free Software Foundation, either version 2 of the License, or 

# (at your option) any later version. 

# http://www.gnu.org/licenses/ 

#***************************************************************************** 

from __future__ import absolute_import 

 

# Ring base classes 

from .ring import (Ring, Field, CommutativeRing, IntegralDomain, 

DedekindDomain, PrincipalIdealDomain, EuclideanDomain) 

 

# Ring element base classes 

from sage.structure.element import (CommutativeAlgebraElement, 

RingElement, CommutativeRingElement, IntegralDomainElement, 

DedekindDomainElement, PrincipalIdealDomainElement, 

EuclideanDomainElement, FieldElement) 

 

# Ideals 

from .ideal import Ideal 

ideal = Ideal 

 

# Quotient 

from .quotient_ring import QuotientRing 

 

# Infinities 

from .infinity import infinity, Infinity, InfinityRing, unsigned_infinity, UnsignedInfinityRing 

 

# Rational integers. 

from .integer_ring import IntegerRing, ZZ, crt_basis 

from .integer import Integer 

 

# Rational numbers 

from .rational_field import RationalField, QQ 

from .rational import Rational 

Rationals = RationalField 

 

# Integers modulo n. 

from sage.rings.finite_rings.integer_mod_ring import IntegerModRing, Zmod 

from sage.rings.finite_rings.integer_mod import IntegerMod, Mod, mod 

Integers = IntegerModRing 

 

# Finite fields 

from .finite_rings.all import * 

 

# Number field 

from .number_field.all import * 

 

# Function field 

from .function_field.all import * 

 

# Finite residue fields 

from .finite_rings.residue_field import ResidueField 

 

# p-adic field 

from .padics.all import * 

from .padics.padic_printing import _printer_defaults as padic_printing 

 

# valuations 

from .valuation.all import * 

 

# Semirings 

from .semirings.all import * 

 

# Real numbers 

from .real_mpfr import (RealField, RR, 

create_RealNumber as RealNumber) # this is used by the preparser to wrap real literals -- very important. 

Reals = RealField 

 

from .real_double import RealDoubleField, RDF, RealDoubleElement 

 

from .real_lazy import RealLazyField, RLF, ComplexLazyField, CLF 

 

from sage.rings.real_arb import RealBallField, RBF 

 

# Polynomial Rings and Polynomial Quotient Rings 

from .polynomial.all import * 

 

 

# Algebraic numbers 

from .qqbar import (AlgebraicRealField, AA, 

AlgebraicReal, 

AlgebraicField, QQbar, 

AlgebraicNumber, 

number_field_elements_from_algebraics) 

from .universal_cyclotomic_field import UniversalCyclotomicField, E 

 

# Intervals 

from .real_mpfi import (RealIntervalField, 

RIF, 

RealInterval) 

 

# Complex numbers 

from .complex_field import ComplexField 

from .complex_number import (create_ComplexNumber as ComplexNumber) 

Complexes = ComplexField 

from .complex_interval_field import ComplexIntervalField 

from .complex_interval import (create_ComplexIntervalFieldElement as ComplexIntervalFieldElement) 

 

from .complex_double import ComplexDoubleField, ComplexDoubleElement, CDF 

 

from .complex_mpc import MPComplexField 

 

from sage.rings.complex_arb import ComplexBallField, CBF 

 

# Power series rings 

from .power_series_ring import PowerSeriesRing 

from .power_series_ring_element import PowerSeries 

 

# Laurent series ring in one variable 

from .laurent_series_ring import LaurentSeriesRing 

from .laurent_series_ring_element import LaurentSeries 

 

# Pseudo-ring of PARI objects. 

from .pari_ring import PariRing, Pari 

 

# Big-oh notation 

from .big_oh import O 

 

# Fraction field 

from .fraction_field import FractionField 

Frac = FractionField 

 

# c-finite sequences 

from .cfinite_sequence import CFiniteSequence, CFiniteSequences 

 

from .bernoulli_mod_p import bernoulli_mod_p, bernoulli_mod_p_single 

 

from .monomials import monomials 

 

CC = ComplexField() 

CIF = ComplexIntervalField() 

 

from sage.misc.lazy_import import lazy_import 

lazy_import('sage.rings.invariant_theory', 'invariant_theory') 

 

from .fast_arith import prime_range 

 

# continued fractions 

from sage.rings.continued_fraction import (farey, convergents, 

continued_fraction, continued_fraction_list, 

Hirzebruch_Jung_continued_fraction_list) 

 

# asymptotic ring 

from .asymptotic.all import * 

 

# Register classes in numbers abc 

from . import numbers_abc