linbox
dyadic-to-rational.h File Reference
#include <stack>
#include <assert.h>

Namespaces

namespace  LinBox
 Namespace in which all linbox code resides.
 

Functions

template<class Ring>
bool partial_hegcd (Ring &Z, typename Ring::Element &e, typename Ring::Element &b, const typename Ring::Element &n, const typename Ring::Element &d, const typename Ring::Element &denBound)
 partial_hegcd() sets e, b from the remainder sequence of n,d.
 
template<class Ring>
int dyadicToRational (const Ring &Z, typename Ring::Element &a, typename Ring::Element &b, const typename Ring::Element &n, const typename Ring::Element &d, const typename Ring::Element &B)
 Rational reconstruction of a/b from n/d with denominator bound B.
 
template<class Ring>
int dyadicToRational (const Ring &Z, BlasVector< Ring > &num, typename Ring::Element &den, BlasVector< Ring > &numx, typename Ring::Element &denx, typename Ring::Element &denBound)