mmx::texp::ringof< X, Y > Struct Template Reference

x (in X) + y (in Y) is subset of ringof<X,Y>::T More...

#include <texp_ringof.hpp>

Public Types
typedef ucstref< X >::T	_X
typedef ucstref< Y >::T	_Y
typedef kernel_ringof< typename kernelof< X >::T, _X, _Y >::T	KXY
typedef kernel_ringof< typename kernelof< Y >::T, _Y, _X >::T	KYX
typedef sfirstnn< typename ringof_< _X, _Y >::T, KXY, KYX, typename sup< X, Y >::T >::T	T

Detailed Description

template<class X, class Y>
struct mmx::texp::ringof< X, Y >

x (in X) + y (in Y) is subset of ringof<X,Y>::T

Member Typedef Documentation

template<class X, class Y>

typedef ucstref<X>::T mmx::texp::ringof< X, Y >::_X

if ringof is undefined (ie. ringof_<u(X),u(Y)>::T is null_t) then ringof is given as the sup

template<class X, class Y>

typedef ucstref<Y>::T mmx::texp::ringof< X, Y >::_Y

template<class X, class Y>

typedef kernel_ringof< typename kernelof<X>::T,_X,_Y>::T mmx::texp::ringof< X, Y >::KXY

template<class X, class Y>

typedef kernel_ringof< typename kernelof<Y>::T,_Y,_X>::T mmx::texp::ringof< X, Y >::KYX

template<class X, class Y>

typedef sfirstnn< typename ringof_<_X,_Y>::T, KXY, KYX, typename sup<X,Y>::T >::T mmx::texp::ringof< X, Y >::T

---

The documentation for this struct was generated from the following file:

• include/realroot/texp_ringof.hpp