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

r""" 

Projective plane conics over prime finite fields 

 

AUTHORS: 

 

- Marco Streng (2010-07-20) 

 

 

""" 

from __future__ import absolute_import 

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

# Copyright (C) 2010 Marco Streng <marco.streng@gmail.com> 

# 

# Distributed under the terms of the GNU General Public License (GPL) 

# 

# This code is distributed in the hope that it will be useful, 

# but WITHOUT ANY WARRANTY; without even the implied warranty of 

# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 

# General Public License for more details. 

# 

# The full text of the GPL is available at: 

# 

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

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

 

from sage.schemes.curves.projective_curve import ProjectivePlaneCurve_prime_finite_field 

from .con_finite_field import ProjectiveConic_finite_field 

 

class ProjectiveConic_prime_finite_field(ProjectiveConic_finite_field, ProjectivePlaneCurve_prime_finite_field): 

r""" 

Create a projective plane conic curve over a prime finite field. 

See ``Conic`` for full documentation. 

 

EXAMPLES:: 

 

sage: P.<X, Y, Z> = FiniteField(5)[] 

sage: Conic(X^2 + Y^2 - 2*Z^2) 

Projective Conic Curve over Finite Field of size 5 defined by X^2 + Y^2 - 2*Z^2 

 

TESTS:: 

 

sage: Conic([FiniteField(7)(1), 1, -1])._test_pickling() 

""" 

def __init__(self, A, f): 

r""" 

See ``Conic`` for full documentation. 

 

EXAMPLES :: 

 

sage: Conic([GF(3)(1), 1, 1]) 

Projective Conic Curve over Finite Field of size 3 defined by x^2 + y^2 + z^2 

""" 

ProjectiveConic_finite_field.__init__(self, A, f) 

ProjectivePlaneCurve_prime_finite_field.__init__(self, A, f)