Orbiter
2022
Combinatorial Objects
quartic_curve_domain_with_action.cpp
Go to the documentation of this file.
1
/*
2
* quartic_curve_domain_with_action.cpp
3
*
4
* Created on: May 21, 2021
5
* Author: betten
6
*/
7
8
9
10
11
#include "
orbiter.h
"
12
13
using namespace
std;
14
15
namespace
orbiter
{
16
namespace
layer5_applications {
17
namespace
applications_in_algebraic_geometry {
18
namespace
quartic_curves {
19
20
21
22
quartic_curve_domain_with_action::quartic_curve_domain_with_action
()
23
{
24
PA
= NULL;
25
f_semilinear
=
FALSE
;
26
Dom
= NULL;
27
A
= NULL;
28
A_on_lines
= NULL;
29
Elt1
= NULL;
30
AonHPD_4_3
= NULL;
31
}
32
33
34
quartic_curve_domain_with_action::~quartic_curve_domain_with_action
()
35
{
36
}
37
38
void
quartic_curve_domain_with_action::init
(
algebraic_geometry::quartic_curve_domain
*Dom,
39
projective_geometry::projective_space_with_action
*PA,
40
int
verbose_level)
41
{
42
int
f_v = (verbose_level >= 1);
43
44
if
(f_v) {
45
cout <<
"quartic_curve_domain_with_action::init"
<< endl;
46
}
47
quartic_curve_domain_with_action::Dom
=
Dom
;
48
quartic_curve_domain_with_action::PA
=
PA
;
49
50
51
52
A
=
PA
->
A
;
53
54
if
(f_v) {
55
cout <<
"quartic_curve_domain_with_action::init action A:"
<< endl;
56
A
->
print_info
();
57
}
58
59
60
61
A_on_lines
=
PA
->
A_on_lines
;
62
if
(f_v) {
63
cout <<
"quartic_curve_domain_with_action::init action A_on_lines:"
<< endl;
64
A_on_lines
->
print_info
();
65
}
66
f_semilinear
=
A
->
is_semilinear_matrix_group
();
67
if
(f_v) {
68
cout <<
"quartic_curve_domain_with_action::init f_semilinear="
<<
f_semilinear
<< endl;
69
}
70
71
72
Elt1
=
NEW_int
(
A
->
elt_size_in_int
);
73
74
AonHPD_4_3
=
NEW_OBJECT
(
induced_actions::action_on_homogeneous_polynomials
);
75
if
(f_v) {
76
cout <<
"quartic_curve_domain_with_action::init "
77
"before AonHPD_4_3->init"
<< endl;
78
}
79
AonHPD_4_3
->
init
(
A
,
Dom
->
Poly4_3
, verbose_level);
80
81
if
(f_v) {
82
cout <<
"quartic_curve_domain_with_action::init done"
<< endl;
83
}
84
}
85
86
87
}}}}
88
orbiter::layer1_foundations::algebraic_geometry::quartic_curve_domain
domain for quartic curves in PG(2,q) with 28 bitangents
Definition:
algebraic_geometry.h:338
orbiter::layer1_foundations::algebraic_geometry::quartic_curve_domain::Poly4_3
ring_theory::homogeneous_polynomial_domain * Poly4_3
Definition:
algebraic_geometry.h:350
orbiter::layer3_group_actions::actions::action::print_info
void print_info()
Definition:
action_io.cpp:687
orbiter::layer3_group_actions::actions::action::elt_size_in_int
int elt_size_in_int
Definition:
actions.h:147
orbiter::layer3_group_actions::actions::action::is_semilinear_matrix_group
int is_semilinear_matrix_group()
Definition:
action.cpp:2897
orbiter::layer3_group_actions::induced_actions::action_on_homogeneous_polynomials
induced action on the set of homogeneous polynomials over a finite field
Definition:
induced_actions.h:603
orbiter::layer3_group_actions::induced_actions::action_on_homogeneous_polynomials::init
void init(actions::action *A, ring_theory::homogeneous_polynomial_domain *HPD, int verbose_level)
Definition:
action_on_homogeneous_polynomials.cpp:63
orbiter::layer5_applications::applications_in_algebraic_geometry::quartic_curves::quartic_curve_domain_with_action::init
void init(algebraic_geometry::quartic_curve_domain *Dom, projective_geometry::projective_space_with_action *PA, int verbose_level)
Definition:
quartic_curve_domain_with_action.cpp:38
orbiter::layer5_applications::applications_in_algebraic_geometry::quartic_curves::quartic_curve_domain_with_action::f_semilinear
int f_semilinear
Definition:
quartic_curves.h:238
orbiter::layer5_applications::applications_in_algebraic_geometry::quartic_curves::quartic_curve_domain_with_action::AonHPD_4_3
induced_actions::action_on_homogeneous_polynomials * AonHPD_4_3
Definition:
quartic_curves.h:249
orbiter::layer5_applications::applications_in_algebraic_geometry::quartic_curves::quartic_curve_domain_with_action::~quartic_curve_domain_with_action
~quartic_curve_domain_with_action()
Definition:
quartic_curve_domain_with_action.cpp:34
orbiter::layer5_applications::applications_in_algebraic_geometry::quartic_curves::quartic_curve_domain_with_action::A_on_lines
actions::action * A_on_lines
Definition:
quartic_curves.h:245
orbiter::layer5_applications::applications_in_algebraic_geometry::quartic_curves::quartic_curve_domain_with_action::Dom
algebraic_geometry::quartic_curve_domain * Dom
Definition:
quartic_curves.h:240
orbiter::layer5_applications::applications_in_algebraic_geometry::quartic_curves::quartic_curve_domain_with_action::PA
projective_geometry::projective_space_with_action * PA
Definition:
quartic_curves.h:236
orbiter::layer5_applications::applications_in_algebraic_geometry::quartic_curves::quartic_curve_domain_with_action::Elt1
int * Elt1
Definition:
quartic_curves.h:247
orbiter::layer5_applications::applications_in_algebraic_geometry::quartic_curves::quartic_curve_domain_with_action::quartic_curve_domain_with_action
quartic_curve_domain_with_action()
Definition:
quartic_curve_domain_with_action.cpp:22
orbiter::layer5_applications::applications_in_algebraic_geometry::quartic_curves::quartic_curve_domain_with_action::A
actions::action * A
Definition:
quartic_curves.h:242
orbiter::layer5_applications::projective_geometry::projective_space_with_action
projective space PG(n,q) with automorphism group PGGL(n+1,q)
Definition:
projective_space.h:688
orbiter::layer5_applications::projective_geometry::projective_space_with_action::A_on_lines
actions::action * A_on_lines
Definition:
projective_space.h:711
orbiter::layer5_applications::projective_geometry::projective_space_with_action::A
actions::action * A
Definition:
projective_space.h:710
NEW_OBJECT
#define NEW_OBJECT(type)
Definition:
foundations.h:638
NEW_int
#define NEW_int(n)
Definition:
foundations.h:625
FALSE
#define FALSE
Definition:
foundations.h:234
orbiter
the orbiter library for the classification of combinatorial objects
Definition:
classification.h:18
orbiter.h
src
lib
top_level
surfaces
quartic_curves
quartic_curve_domain_with_action.cpp
Generated by
1.9.3