lift() [8/8]

template<typename RingType>

bool M2::ConcreteRing< RingType >::lift ( const Ring * S, const ring_elem f, ring_elem & result ) const

virtual

Implements Ring.

Definition at line 814 of file aring-glue.hpp.

{
  const Ring *S = this;
 
  namespace RP = RingPromoter;
  if (R == S)
    {
      result_gR = gS;
      return true;
    }
  if (R == globalZZ)
    {
      printf("error!! lift called with no ZZ lifting method\n");
      // MES:TODO!! WRITE ME
      return true;
    }
  switch (R->ringID())
    {
      case M2::ring_ZZp:
        switch (S->ringID())
          {
            case M2::ring_ZZp:
              return false;
            case M2::ring_ZZpFfpack:
              return RP::lifter<ARingZZp, ARingZZpFFPACK>(R, S, result_gR, gS);
            default:
              return false;
          }
        break;
      case M2::ring_ZZpFfpack:
        switch (S->ringID())
          {
            case M2::ring_ZZp:
              return RP::lifter<ARingZZpFFPACK, ARingZZp>(R, S, result_gR, gS);
            case M2::ring_ZZpFfpack:
              return RP::lifter<ARingZZpFFPACK, ARingZZpFFPACK>(
                  R, S, result_gR, gS);
            default:
              return false;
          }
      case M2::ring_RR:
        switch (S->ringID())
          {
            case M2::ring_RR:
              return RP::lifter<ARingRR, ARingRR>(R, S, result_gR, gS);
            case M2::ring_RRR:
              return RP::lifter<ARingRR, ARingRRR>(R, S, result_gR, gS);
            case M2::ring_RRi:
              return RP::lifter<ARingRR, ARingRRi>(R, S, result_gR, gS);
            case M2::ring_CC:
              return RP::lifter<ARingRR, ARingCC>(R, S, result_gR, gS);
            case M2::ring_CCC:
              return RP::lifter<ARingRR, ARingCCC>(R, S, result_gR, gS);
            default:
              return false;
          }
      case M2::ring_RRR:
        switch (S->ringID())
          {
            case M2::ring_RR:
              return RP::lifter<ARingRRR, ARingRR>(R, S, result_gR, gS);
            case M2::ring_RRR:
              return RP::lifter<ARingRRR, ARingRRR>(R, S, result_gR, gS);
            case M2::ring_RRi:
              return RP::lifter<ARingRRR, ARingRRi>(R, S, result_gR, gS);
            case M2::ring_CC:
              return RP::lifter<ARingRRR, ARingCC>(R, S, result_gR, gS);
            case M2::ring_CCC:
              return RP::lifter<ARingRRR, ARingCCC>(R, S, result_gR, gS);
            default:
              return false;
          }
      case M2::ring_CC:
        switch (S->ringID())
          {
            case M2::ring_CC:
              return RP::lifter<ARingCC, ARingCC>(R, S, result_gR, gS);
            case M2::ring_CCC:
              return RP::lifter<ARingCCC, ARingCC>(R, S, result_gR, gS);
            default:
              return false;
          }
      case M2::ring_CCC:
        switch (S->ringID())
          {
            case M2::ring_CC:
              return RP::lifter<ARingCC, ARingCCC>(R, S, result_gR, gS);
            case M2::ring_CCC:
              return RP::lifter<ARingCCC, ARingCCC>(R, S, result_gR, gS);
            default:
              return false;
          }
      default:
#ifndef NDEBUG
        fprintf(stderr,
                "oh no: rings not in list\n, R->ringID()=%d S->ringID()=%d\n",
                R->ringID(),
                S->ringID());
#endif
        break;
    };
  return false;
}

References globalZZ, R, Ring::Ring(), M2::ring_CC, M2::ring_CCC, M2::ring_RR, M2::ring_RRi, M2::ring_RRR, M2::ring_ZZp, M2::ring_ZZpFfpack, and Ring::ringID().