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
13using namespace std;
14
15namespace orbiter {
16namespace layer5_applications {
17namespace applications_in_algebraic_geometry {
18namespace quartic_curves {
19
20
21
23{
24 PA = NULL;
26 Dom = NULL;
27 A = NULL;
28 A_on_lines = NULL;
29 Elt1 = NULL;
30 AonHPD_4_3 = NULL;
31}
32
33
35{
36}
37
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 }
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
62 if (f_v) {
63 cout << "quartic_curve_domain_with_action::init action A_on_lines:" << endl;
65 }
67 if (f_v) {
68 cout << "quartic_curve_domain_with_action::init f_semilinear=" << f_semilinear << endl;
69 }
70
71
73
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
domain for quartic curves in PG(2,q) with 28 bitangents
induced action on the set of homogeneous polynomials over a finite field
void init(actions::action *A, ring_theory::homogeneous_polynomial_domain *HPD, int verbose_level)
void init(algebraic_geometry::quartic_curve_domain *Dom, projective_geometry::projective_space_with_action *PA, int verbose_level)
projective space PG(n,q) with automorphism group PGGL(n+1,q)
#define NEW_OBJECT(type)
Definition: foundations.h:638
#define NEW_int(n)
Definition: foundations.h:625
#define FALSE
Definition: foundations.h:234
the orbiter library for the classification of combinatorial objects