ringof< X, Y > Struct Template Reference

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

#include <texp_ringof.hpp>

List of all members.

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

Definition at line 72 of file texp_ringof.hpp.

---

Member Typedef Documentation

typedef ucstref<X>::T _X

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

Definition at line 76 of file texp_ringof.hpp.

typedef ucstref<Y>::T _Y

Definition at line 77 of file texp_ringof.hpp.

typedef kernel_ringof< typename kernelof<X>::T,_X,_Y>::T KXY

Definition at line 78 of file texp_ringof.hpp.

typedef kernel_ringof< typename kernelof<Y>::T,_Y,_X>::T KYX

Definition at line 79 of file texp_ringof.hpp.

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

Definition at line 81 of file texp_ringof.hpp.

---

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

• include/realroot/texp_ringof.hpp