source: git/coeffs/test.cc @ c3d175

spielwiese
Last change on this file since c3d175 was c3d175, checked in by Oleksandr Motsak <motsak@…>, 14 years ago
Trying to link anything... Switch to the correct "assume".
  • Property mode set to 100644
File size: 1.0 KB
Line 
1#include "config.h"
2
3#include <auxiliary.h>
4#include <coeffs.h>
5#include <numbers.h>
6#include <output.h>
7#include <omalloc.h>
8
9
10//#include <longrat.h>
11#include <gnumpc.h>
12
13
14#include <iostream>
15using namespace std;
16
17
18int main()
19{
20  const n_coeffType type = n_long_C; // n_Q;
21
22  const coeffs r = nInitChar( type, NULL );
23
24  assume( r != NULL );
25
26  assume( r->cfInit != NULL );
27  assume( r->cfWrite != NULL );
28  assume( r->cfAdd != NULL );
29  assume( r->cfDelete != NULL );
30
31  assume( getCoeffType(r) == type );
32
33  if( type == n_Q )
34  {
35   
36/*
37    assume( r->cfInit == nlInit );
38    assume( r->cfWrite == nlWrite );
39    assume( r->cfAdd == nlAdd );
40    assume( r->cfDelete == nlDelete );   
41*/
42    }
43  else if( type == n_long_C )
44  {
45    assume( r->cfInit == ngcInit );
46    assume( r->cfWrite == ngcWrite );
47    assume( r->cfAdd == ngcAdd );
48    assume( r->cfDelete == ngcDelete );   
49  }
50
51
52 
53  number a = r->cfInit(666, r); 
54  r->cfWrite( a, r );
55  number b = r->cfAdd( a, a, r);
56  r->cfWrite( b, r );
57  r->cfDelete( &a, r);
58  r->cfDelete( &b, r);
59
60 
61 
62  return 0;
63}
Note: See TracBrowser for help on using the repository browser.