| 1 | #ifndef AE_H |
|---|
| 2 | #define AE_H |
|---|
| 3 | |
|---|
| 4 | #include <misc/auxiliary.h> |
|---|
| 5 | #include "si_gmp.h" |
|---|
| 6 | |
|---|
| 7 | #ifdef SINGULAR_4_1 |
|---|
| 8 | |
|---|
| 9 | class int_poly // Klasse von int_polynomen mit Typ (Grad, Koeffizienten ganzzahlig) |
|---|
| 10 | { |
|---|
| 11 | |
|---|
| 12 | public: |
|---|
| 13 | // Charakteristika der int_polynome (TO DO??: Dynamisches Array) |
|---|
| 14 | |
|---|
| 15 | int deg; // Grad des int_polynoms |
|---|
| 16 | mpz_t coef[100]; // Feld der Koeffizienten |
|---|
| 17 | //mpz_t coef = reinterpret_cast<mpz_t*> (omAlloc(100*sizeof(mpz_t))); |
|---|
| 18 | |
|---|
| 19 | |
|---|
| 20 | // Konstruktoren und Destruktoren |
|---|
| 21 | int_poly(); |
|---|
| 22 | int_poly( int , mpz_t*); |
|---|
| 23 | //~int_poly(); |
|---|
| 24 | |
|---|
| 25 | |
|---|
| 26 | |
|---|
| 27 | // Arithmetische Operationen |
|---|
| 28 | |
|---|
| 29 | |
|---|
| 30 | // Additionen |
|---|
| 31 | |
|---|
| 32 | void poly_add(const int_poly , const int_poly ); |
|---|
| 33 | void poly_add_to(const int_poly); |
|---|
| 34 | void poly_add_mon(const int_poly,mpz_t, int); //addiert Monome zu int_polynom |
|---|
| 35 | void poly_add_mon_to(mpz_t,int); |
|---|
| 36 | void poly_add_const( int_poly, const mpz_t); |
|---|
| 37 | void poly_add_const_to(const mpz_t); |
|---|
| 38 | |
|---|
| 39 | // Subtraktion |
|---|
| 40 | |
|---|
| 41 | void poly_sub(const int_poly , const int_poly ); |
|---|
| 42 | void poly_sub_to(const int_poly); |
|---|
| 43 | void poly_sub_mon(const int_poly,mpz_t,int); |
|---|
| 44 | void poly_sub_mon_to(mpz_t,int); |
|---|
| 45 | void poly_sub_const( int_poly, const mpz_t); |
|---|
| 46 | void poly_sub_const_to(const mpz_t); |
|---|
| 47 | |
|---|
| 48 | //Multiplikationen |
|---|
| 49 | |
|---|
| 50 | void poly_mult_n(int_poly,int_poly); |
|---|
| 51 | void poly_mult_n_to(const int_poly); |
|---|
| 52 | void poly_mult_ka( int_poly, int_poly); |
|---|
| 53 | void poly_scalar_mult(const mpz_t ,const int_poly); |
|---|
| 54 | void poly_scalar_mult(const int_poly, const mpz_t); |
|---|
| 55 | void poly_scalar_mult_to(const mpz_t); |
|---|
| 56 | void poly_neg(); |
|---|
| 57 | void poly_mon_mult(const int_poly, const int); |
|---|
| 58 | void poly_mon_mult_to(const int); |
|---|
| 59 | |
|---|
| 60 | //Divisionen |
|---|
| 61 | void poly_div(int_poly &,int_poly &, int_poly, int_poly); // exakte Division |
|---|
| 62 | void poly_div_to(int_poly &,int_poly &,const int_poly); // To Variante exakte Division |
|---|
| 63 | void poly_pseudodiv(int_poly &, int_poly &, int_poly , int_poly ); |
|---|
| 64 | void poly_pseudodiv_to(int_poly &, int_poly &, int_poly ); |
|---|
| 65 | void poly_pseudodiv_rem( int_poly , int_poly); |
|---|
| 66 | void poly_pseudodiv_rem_to(const int_poly); |
|---|
| 67 | void poly_scalar_div(const int_poly, const mpz_t); |
|---|
| 68 | void poly_scalar_div_to(const mpz_t); |
|---|
| 69 | void poly_mon_div(const int_poly, const int); |
|---|
| 70 | void poly_mon_div_rem(const int_poly, const int); |
|---|
| 71 | |
|---|
| 72 | //Kombinationen |
|---|
| 73 | |
|---|
| 74 | void poly_multadd_to(const int_poly, const int_poly); //a=a*b+c |
|---|
| 75 | void poly_multsub_to(const int_poly,const int_poly); //a=a*b-c |
|---|
| 76 | //int_poly poly_addmult_to(const int_poly, const int_poly); |
|---|
| 77 | |
|---|
| 78 | // Eigenschaften von int_polynomen |
|---|
| 79 | |
|---|
| 80 | // Content & Primitive Part |
|---|
| 81 | void poly_cont(mpz_t&); |
|---|
| 82 | void poly_pp(int_poly); |
|---|
| 83 | |
|---|
| 84 | |
|---|
| 85 | // Sonstige Operationen |
|---|
| 86 | void poly_set(const int_poly); |
|---|
| 87 | void poly_set(const mpz_t); // Setzt int_polynom auf Konstante |
|---|
| 88 | void poly_set_zero(); // Setzt int_polynom auf 0 |
|---|
| 89 | void poly_horner(mpz_t, const mpz_t); // Wertet int_polynom mittels Horner-Schema an einer Stelle aus |
|---|
| 90 | void poly_horner_int_poly(int_poly, const int_poly); //Setzt int_polynom in int_polynom mittels Horner Schema ein |
|---|
| 91 | void poly_gcd(int_poly,int_poly); //Standard GGT |
|---|
| 92 | void poly_extgcd(int_poly,int_poly,int_poly,int_poly); //Erweiterter Standard GGT |
|---|
| 93 | void poly_ppgcd( int_poly, int_poly); // Primitive int_polynomial GCD |
|---|
| 94 | void poly_ppgcd_to(int_poly); |
|---|
| 95 | void poly_subgcd( int_poly, int_poly); // Subresulatant GCD |
|---|
| 96 | void poly_subgcd_to(int_poly); |
|---|
| 97 | void poly_extsubgcd(int_poly&, int_poly&,int_poly &,int_poly,int_poly); |
|---|
| 98 | int is_equal(const int_poly) const; // Test auf Gleichheit |
|---|
| 99 | int is_zero() const; // Test auf Gleichheit mit 0 |
|---|
| 100 | int is_one() const; // Test auf Gleichheit mit 1 |
|---|
| 101 | int is_monic() const; // testet, ob das int_polynom normiert ist |
|---|
| 102 | |
|---|
| 103 | |
|---|
| 104 | // Ein und Ausgabe |
|---|
| 105 | void poly_insert(); // Eingabe von int_polynom |
|---|
| 106 | void poly_print(); //Ausgabe von int_polynom |
|---|
| 107 | }; |
|---|
| 108 | |
|---|
| 109 | #endif |
|---|
| 110 | #endif |
|---|
| 111 | |
|---|
| 112 | |
|---|
