1use crate::deps::*;
4use crate::flint::*;
5use crate::fmpz_types::*;
6
7
8#[repr(C)]
9pub struct padic_struct {
10 pub u: fmpz,
11 pub v: slong,
12 pub N: slong,
13}
14#[allow(clippy::unnecessary_operation, clippy::identity_op)]
15const _: () = {
16 ["Size of padic_struct"][::std::mem::size_of::<padic_struct>() - 24usize];
17 ["Alignment of padic_struct"][::std::mem::align_of::<padic_struct>() - 8usize];
18 ["Offset of field: padic_struct::u"][::std::mem::offset_of!(padic_struct, u) - 0usize];
19 ["Offset of field: padic_struct::v"][::std::mem::offset_of!(padic_struct, v) - 8usize];
20 ["Offset of field: padic_struct::N"][::std::mem::offset_of!(padic_struct, N) - 16usize];
21};
22impl Default for padic_struct {
23 fn default() -> Self {
24 let mut s = ::std::mem::MaybeUninit::<Self>::uninit();
25 unsafe {
26 ::std::ptr::write_bytes(s.as_mut_ptr(), 0, 1);
27 s.assume_init()
28 }
29 }
30}
31pub type padic_t = [padic_struct; 1usize];
32pub const padic_print_mode_PADIC_TERSE: padic_print_mode = 0;
33pub const padic_print_mode_PADIC_SERIES: padic_print_mode = 1;
34pub const padic_print_mode_PADIC_VAL_UNIT: padic_print_mode = 2;
35pub type padic_print_mode = libc::c_uint;
36#[repr(C)]
37pub struct padic_ctx_struct {
38 pub p: fmpz_t,
39 pub pinv: f64,
40 pub pow: *mut fmpz,
41 pub min: slong,
42 pub max: slong,
43 pub mode: padic_print_mode,
44}
45#[allow(clippy::unnecessary_operation, clippy::identity_op)]
46const _: () = {
47 ["Size of padic_ctx_struct"][::std::mem::size_of::<padic_ctx_struct>() - 48usize];
48 ["Alignment of padic_ctx_struct"][::std::mem::align_of::<padic_ctx_struct>() - 8usize];
49 ["Offset of field: padic_ctx_struct::p"][::std::mem::offset_of!(padic_ctx_struct, p) - 0usize];
50 ["Offset of field: padic_ctx_struct::pinv"]
51 [::std::mem::offset_of!(padic_ctx_struct, pinv) - 8usize];
52 ["Offset of field: padic_ctx_struct::pow"]
53 [::std::mem::offset_of!(padic_ctx_struct, pow) - 16usize];
54 ["Offset of field: padic_ctx_struct::min"]
55 [::std::mem::offset_of!(padic_ctx_struct, min) - 24usize];
56 ["Offset of field: padic_ctx_struct::max"]
57 [::std::mem::offset_of!(padic_ctx_struct, max) - 32usize];
58 ["Offset of field: padic_ctx_struct::mode"]
59 [::std::mem::offset_of!(padic_ctx_struct, mode) - 40usize];
60};
61impl Default for padic_ctx_struct {
62 fn default() -> Self {
63 let mut s = ::std::mem::MaybeUninit::<Self>::uninit();
64 unsafe {
65 ::std::ptr::write_bytes(s.as_mut_ptr(), 0, 1);
66 s.assume_init()
67 }
68 }
69}
70pub type padic_ctx_t = [padic_ctx_struct; 1usize];
71#[repr(C)]
72pub struct padic_inv_struct {
73 pub n: slong,
74 pub pow: *mut fmpz,
75}
76#[allow(clippy::unnecessary_operation, clippy::identity_op)]
77const _: () = {
78 ["Size of padic_inv_struct"][::std::mem::size_of::<padic_inv_struct>() - 16usize];
79 ["Alignment of padic_inv_struct"][::std::mem::align_of::<padic_inv_struct>() - 8usize];
80 ["Offset of field: padic_inv_struct::n"][::std::mem::offset_of!(padic_inv_struct, n) - 0usize];
81 ["Offset of field: padic_inv_struct::pow"]
82 [::std::mem::offset_of!(padic_inv_struct, pow) - 8usize];
83};
84impl Default for padic_inv_struct {
85 fn default() -> Self {
86 let mut s = ::std::mem::MaybeUninit::<Self>::uninit();
87 unsafe {
88 ::std::ptr::write_bytes(s.as_mut_ptr(), 0, 1);
89 s.assume_init()
90 }
91 }
92}
93pub type padic_inv_t = [padic_inv_struct; 1usize];
94#[repr(C)]
95pub struct padic_mat_struct {
96 pub mat: fmpz_mat_struct,
97 pub val: slong,
98 pub N: slong,
99}
100#[allow(clippy::unnecessary_operation, clippy::identity_op)]
101const _: () = {
102 ["Size of padic_mat_struct"][::std::mem::size_of::<padic_mat_struct>() - 48usize];
103 ["Alignment of padic_mat_struct"][::std::mem::align_of::<padic_mat_struct>() - 8usize];
104 ["Offset of field: padic_mat_struct::mat"]
105 [::std::mem::offset_of!(padic_mat_struct, mat) - 0usize];
106 ["Offset of field: padic_mat_struct::val"]
107 [::std::mem::offset_of!(padic_mat_struct, val) - 32usize];
108 ["Offset of field: padic_mat_struct::N"][::std::mem::offset_of!(padic_mat_struct, N) - 40usize];
109};
110impl Default for padic_mat_struct {
111 fn default() -> Self {
112 let mut s = ::std::mem::MaybeUninit::<Self>::uninit();
113 unsafe {
114 ::std::ptr::write_bytes(s.as_mut_ptr(), 0, 1);
115 s.assume_init()
116 }
117 }
118}
119pub type padic_mat_t = [padic_mat_struct; 1usize];
120#[repr(C)]
121pub struct padic_poly_struct {
122 pub coeffs: *mut fmpz,
123 pub alloc: slong,
124 pub length: slong,
125 pub val: slong,
126 pub N: slong,
127}
128#[allow(clippy::unnecessary_operation, clippy::identity_op)]
129const _: () = {
130 ["Size of padic_poly_struct"][::std::mem::size_of::<padic_poly_struct>() - 40usize];
131 ["Alignment of padic_poly_struct"][::std::mem::align_of::<padic_poly_struct>() - 8usize];
132 ["Offset of field: padic_poly_struct::coeffs"]
133 [::std::mem::offset_of!(padic_poly_struct, coeffs) - 0usize];
134 ["Offset of field: padic_poly_struct::alloc"]
135 [::std::mem::offset_of!(padic_poly_struct, alloc) - 8usize];
136 ["Offset of field: padic_poly_struct::length"]
137 [::std::mem::offset_of!(padic_poly_struct, length) - 16usize];
138 ["Offset of field: padic_poly_struct::val"]
139 [::std::mem::offset_of!(padic_poly_struct, val) - 24usize];
140 ["Offset of field: padic_poly_struct::N"]
141 [::std::mem::offset_of!(padic_poly_struct, N) - 32usize];
142};
143impl Default for padic_poly_struct {
144 fn default() -> Self {
145 let mut s = ::std::mem::MaybeUninit::<Self>::uninit();
146 unsafe {
147 ::std::ptr::write_bytes(s.as_mut_ptr(), 0, 1);
148 s.assume_init()
149 }
150 }
151}
152pub type padic_poly_t = [padic_poly_struct; 1usize];