source: git/coeffs/test.cc @ 7d4350e

#include "config.h"

#include <auxiliary.h>
#include <coeffs.h>
#include <numbers.h>
#include <output.h>
#include <omalloc.h>


#include <longrat.h>
#include <gnumpc.h>
#include <shortfl.h>


int main()
{
  const n_coeffType type = nRegister( n_Q, nlInitChar); assume( type == n_Q );
//  const n_coeffType type = nRegister( n_long_C, ngcInitChar); assume( type == n_long_C );
//  const n_coeffType type = nRegister( n_R, nrInitChar); assume( type == n_R );
  

  const coeffs r = nInitChar( type, NULL );

  assume( r != NULL );
  
  nSetChar( r );

  assume( getCoeffType(r) == type );

  assume( r->cfInit != NULL );
  assume( r->cfWrite != NULL );
  assume( r->cfAdd != NULL );
  assume( r->cfDelete != NULL );
  

  if( type == n_Q )
  {
    assume( r->cfInit == nlInit );
    assume( r->cfWrite == nlWrite );
    assume( r->cfAdd == nlAdd );
    assume( r->cfDelete == nlDelete );    
  }
  else if( type == n_long_C )
  {
    assume( r->cfInit == ngcInit );
    assume( r->cfWrite == ngcWrite );
    assume( r->cfAdd == ngcAdd );
    assume( r->cfDelete == ngcDelete );    
  }
  else if( type == n_R )
  {
    assume( r->cfInit == nrInit );
    assume( r->cfWrite == nrWrite );
    assume( r->cfAdd == nrAdd );
//    assume( r->cfDelete == nrDelete ); // No?
  } else
  {
    // ...
  }


  
  number a = r->cfInit(666, r); 
  number b = r->cfAdd( a, a, r);

  StringSetS("a: ");r->cfWrite( a, r );PrintS(StringAppend("\n"));
  StringSetS("b: "); r->cfWrite( b, r );PrintS(StringAppend("\n"));
  
  r->cfDelete( &a, r);
  r->cfDelete( &b, r);

  nKillChar( r );

  return 0;
}