1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
// Copyright 2004 Michael E. Stillman.
#ifndef _comp_res_hpp_
#define _comp_res_hpp_
#include "comp.hpp"
class buffer;
/**
@ingroup res
@brief Base class for free resolution computation classes.
*/
class ResolutionComputation : public Computation
// This is the base type for all resolution computations
{
protected:
ResolutionComputation();
virtual bool stop_conditions_ok() = 0;
// If the stop conditions in stop_ are inappropriate,
// return false, and use ERROR(...) to provide an error message.
public:
// These three routines should be moved to a utility class
static void betti_init(int lo, int hi, int len, int *&bettis);
static M2_arrayint betti_make(int lo, int hi, int len, int *bettis);
static void betti_display(buffer &o, M2_arrayint a);
public:
virtual ResolutionComputation *cast_to_ResolutionComputation()
{
return this;
}
virtual ~ResolutionComputation();
static ResolutionComputation *choose_res(const Matrix *m,
M2_bool resolve_cokernel,
int max_level,
M2_bool use_max_slanted_degree,
int max_slanted_degree,
int algorithm,
int strategy);
// Values for algorithm and strategy are documented in engine.h
virtual void start_computation() = 0;
// virtual ComputationStatusCode compute(const StopConditions &stop_, long
// &complete_thru_this_degree);
virtual int complete_thru_degree() const = 0;
// The computation is complete up through this slanted degree.
////////////////////////////////
// Results of the computation //
////////////////////////////////
virtual const Matrix /* or null */ *get_matrix(int level) = 0;
virtual MutableMatrix /* or null */ *get_matrix(int level, int degree);
// the default version gives an error that it isn't defined
virtual const FreeModule /* or null */ *get_free(int level) = 0;
virtual M2_arrayint get_betti(int type) const = 0;
// type is documented under rawResolutionBetti, in engine.h
//////////////////////////////////////
// Statistics and spair information //
//////////////////////////////////////
virtual void text_out(buffer &o) const = 0;
// This displays statistical information, and depends on the
// M2_gbTrace value.
};
void intern_res(ResolutionComputation *G);
#endif
// Local Variables:
// compile-command: "make -C $M2BUILDDIR/Macaulay2/e "
// indent-tabs-mode: nil
// End:
|
