My Project
Loading...
Searching...
No Matches
cf_eval.cc File Reference
#include "config.h"
#include "cf_assert.h"
#include "cf_defs.h"
#include "cf_eval.h"

Go to the source code of this file.

Functions

static CanonicalForm evalCF (const CanonicalForm &f, const CFArray &a, int m, int n)
 
OSTREAMoperator<< (OSTREAM &s, const Evaluation &e)
 

Function Documentation

◆ evalCF()

CanonicalForm evalCF ( const CanonicalForm & f,
const CFArray & a,
int m,
int n )
static

Definition at line 68 of file cf_eval.cc.

69{
70 if ( m > n )
71 return f;
72 else {
74 while ( n >= m ) {
75 result = result( a[n], Variable( n ) );
76 n--;
77 }
78 return result;
79 }
80// iterated method turned out to be faster than
81// return evalCF( f( a[n], Variable( n ) ), a, m, n-1 );
82}
int m
Definition cfEzgcd.cc:128
FILE * f
Definition checklibs.c:9
factory's main class
factory's class for variables
Definition factory.h:127
return result

◆ operator<<()

OSTREAM & operator<< ( OSTREAM & s,
const Evaluation & e )

Definition at line 59 of file cf_eval.cc.

61{
62 e.values.print(s);
63 return s;
64}
void print(OSTREAM &) const
CFArray values
Definition cf_eval.h:34
const CanonicalForm int s
Definition facAbsFact.cc:51