This repository has been archived by the owner on Jun 7, 2023. It is now read-only.
/
coeff_rings.cpp
85 lines (78 loc) · 3.73 KB
/
coeff_rings.cpp
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
#include "coeff_rings.h"
typedef struct __singular_coeff_ring_struct {
int64_t has_simple_alloc;
int64_t has_simple_Inverse;
int64_t is_field;
int64_t is_domain;
int64_t ch;
void* data;
void* cfInit;
void* cfInt;
void* cfMPZ;
void* cfInpNeg;
void* cfCopy;
void* cfDelete;
void* cfAdd;
void* cfInpAdd;
void* cfSub;
void* cfMult;
void* cfInpMult;
void* cfDiv;
void* cfDivBy;
void* cfInvers;
void* cfGcd;
void* cfSubringGcd;
void* cfExtGcd;
void* cfGreater;
void* cfEqual;
void* cfIsZero;
void* cfIsOne;
void* cfIsMOne;
void* cfGreaterZero;
void* cfWriteLong;
void* cfCoeffWrite;
} singular_coeff_ring_struct;
void fill_coeffs_with_function_data(jl_value_t* coeff_struct, void* cf_void){
coeffs cf = reinterpret_cast<coeffs>(cf_void);
singular_coeff_ring_struct* cf_input = reinterpret_cast<singular_coeff_ring_struct*>(coeff_struct);
cf->has_simple_Alloc = (BOOLEAN)cf_input->has_simple_alloc;
cf->has_simple_Inverse = (BOOLEAN)cf_input->has_simple_Inverse;
cf->is_field = (BOOLEAN)cf_input->is_field;
cf->is_domain = (BOOLEAN)cf_input->is_domain;
cf->ch = (int)cf_input->ch;
cf->data = cf_input->data;
cf->cfInit = (number (*)(long, const coeffs)) cf_input->cfInit;
cf->cfInt = (long (*)(number &, const coeffs)) cf_input->cfInt;
cf->cfMPZ = (void (*)(__mpz_struct *, number &, const coeffs)) cf_input->cfMPZ;
cf->cfInpNeg = (number (*)(number, const coeffs)) cf_input->cfInpNeg;
cf->cfCopy = (number (*)(number, const coeffs)) cf_input->cfCopy;
cf->cfDelete = (void (*)(number *, const coeffs)) cf_input->cfDelete;
cf->cfAdd = (numberfunc) cf_input->cfAdd;
cf->cfInpAdd = (void (*)(number &, number, const coeffs)) cf_input->cfInpAdd;
cf->cfSub = (numberfunc) cf_input->cfSub;
cf->cfMult = (numberfunc) cf_input->cfMult;
cf->cfInpMult = (void (*)(number &, number, const coeffs)) cf_input->cfInpMult;
cf->cfDiv = (numberfunc) cf_input->cfDiv;
cf->cfDivBy = (BOOLEAN (*)(number, number, const coeffs)) cf_input->cfDivBy;
cf->cfInvers = (number (*)(number, const coeffs)) cf_input->cfInvers;
cf->cfGcd = (numberfunc) cf_input->cfGcd;
cf->cfSubringGcd = (numberfunc) cf_input->cfSubringGcd;
cf->cfExtGcd = (number (*)(number, number, number *, number *, const coeffs)) cf_input->cfExtGcd;
cf->cfGreater = (BOOLEAN (*)(number, number, const coeffs)) cf_input->cfGreater;
cf->cfEqual = (BOOLEAN (*)(number, number, const coeffs)) cf_input->cfEqual;
cf->cfIsZero = (BOOLEAN (*)(number, const coeffs)) cf_input->cfIsZero;
cf->cfIsOne = (BOOLEAN (*)(number, const coeffs)) cf_input->cfIsOne;
cf->cfIsMOne = (BOOLEAN (*)(number, const coeffs)) cf_input->cfIsMOne;
cf->cfGreaterZero = (BOOLEAN (*)(number, const coeffs)) cf_input->cfGreaterZero;
cf->cfWriteLong = (void (*)(number, const coeffs)) cf_input->cfWriteLong;
cf->cfCoeffWrite = (void (*)(const coeffs, BOOLEAN)) cf_input->cfCoeffWrite;
}
void singular_define_coeff_rings(jlcxx::Module & singular){
singular.method("fill_coeffs_with_function_data",fill_coeffs_with_function_data);
singular.method("nRegister",[](n_coeffType type, void* func ){ return nRegister( type, (cfInitCharProc)func );});
singular.method("get_coeff_data",[](coeffs c){ return c->data;} );
singular.method("get_coeff_data_void",[](void* c){ return reinterpret_cast<coeffs>(c)->data; });
singular.method("cast_number_to_void",[](number n){ return reinterpret_cast<void*>(n); });
singular.method("cast_void_to_number",[](void* n){ return reinterpret_cast<number>(n); });
singular.method("get_coeffs_BIGINT", []() {return coeffs_BIGINT;});
}