carl
24.04
Computer ARithmetic Library
|
Basic spol-pair. More...
#include <SPolPair.h>
Public Member Functions | |
SPolPair (std::size_t p1, std::size_t p2, Monomial::Arg lcm) | |
void | print (std::ostream &os=std::cout) const |
Data Fields | |
const std::size_t | mP1 |
const std::size_t | mP2 |
const Monomial::Arg | mLcm |
Basic spol-pair.
Optimizations could be deducing p2 from the structure where it is saved, and not saving the lcm. Also sugar might be added.
p1 | index of polynomial p1 |
p2 | index of polynomial p2 |
lcm | the lcm(lt(p1), lt(p2)) |
Definition at line 19 of file SPolPair.h.
|
inline |
Definition at line 21 of file SPolPair.h.
|
inline |
Definition at line 28 of file SPolPair.h.
const Monomial::Arg carl::SPolPair::mLcm |
Definition at line 26 of file SPolPair.h.
const std::size_t carl::SPolPair::mP1 |
Definition at line 24 of file SPolPair.h.
const std::size_t carl::SPolPair::mP2 |
Definition at line 25 of file SPolPair.h.