|
linbox
|
Type information for the residue in a CRA iteration. More...
#include <cra-domain.h>
Public Types | |
| template<typename Domain> | |
| using | ResidueType = typename Rebind<ResultType,Domain>::other |
Static Public Member Functions | |
| template<typename Domain> | |
| static ResidueType< Domain > | create (const Domain &d) |
Type information for the residue in a CRA iteration.
Here ResultType should be some kind of vector type whose default constructor results in zero-dimensional vectors where no init'ing is required.
| using ResidueType = typename Rebind<ResultType,Domain>::other |
|
inlinestatic |