CoCalc -- dt.h

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: ⁴¹⁵⁰⁷⁰
1
/****************************************************************************
2
**
3
*W  dt.h                        GAP source                  Wolfgang Merkwitz
4
**
5
**
6
*Y  Copyright (C)  1996,  Lehrstuhl D für Mathematik,  RWTH Aachen,  Germany
7
*Y  (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland
8
*Y  Copyright (C) 2002 The GAP Group
9
**
10
**  This file implements the part of the deep thought package which deals
11
**  with computing the deep thought polynomials. See dt.c for further
12
**  information.
13
*/
14

15
#ifndef GAP_DT_H
16
#define GAP_DT_H
17

18
extern void  UnmarkTree(
19
                  Obj   z );
20

21

22
extern UInt   Mark(
23
            Obj   tree,
24
            Obj   reftree,
25
            Int   indexx  );
26

27

28
extern Int     AlmostEqual(
29
                     Obj    tree1,
30
                     Int    index1,
31
                     Obj    tree2,
32
                     Int    index2    );
33

34

35
extern Int     Equal(
36
               Obj     tree1,
37
               Int     index1,
38
               Obj     tree2,
39
               Int     index2   );
40

41

42

43
extern Obj    Mark2(
44
              Obj        tree,
45
              Int        index1,
46
              Obj        reftree,
47
              Int        index2   );
48

49

50
extern UInt    FindTree(
51
                 Obj     tree,
52
                 Int     indexx );
53

54

55
extern Obj    MakeFormulaVector(
56
                          Obj    tree,
57
                          Obj    pr   );
58

59

60
extern Obj  binomial(
61
               Obj     n,
62
               Obj     k    );
63

64

65
extern Int     Leftof(
66
                Obj     tree1,
67
                Int     index1,
68
                Obj     tree2,
69
                Int     index2    );
70

71

72

73
extern Int    Leftof2(
74
                Obj    tree1,
75
                Int    index1,
76
                Obj    tree2,
77
                Int    index2     );
78

79

80

81
extern Int    Earlier(
82
                Obj    tree1,
83
                Int    index1,
84
                Obj    tree2,
85
                Int    index2         );
86

87
extern void   FindNewReps(
88
                    Obj     tree,
89
                    Obj     reps,
90
                    Obj     pr,
91
                    Obj     max      );
92

93

94

95
extern void  FindSubs(
96
                Obj        tree,
97
                Int        x,
98
                Obj        list1,
99
                Obj        list2,
100
                Obj        a,
101
                Obj        b,
102
                Int        al,
103
                Int        ar,
104
                Int        bl,
105
                Int        br,
106
                Obj        reps,
107
                Obj        pr,
108
                Obj        max       );
109

110

111

112
extern void    SetSubs(
113
                 Obj       list,
114
                 Obj       a,
115
                 Obj       tree    );
116

117

118

119
extern void    UnmarkAEClass(
120
                       Obj      tree,
121
                       Obj      list  );
122

123

124
extern void    TestTree(
125
                         Obj     tree);
126

127

128
extern Obj      Part(
129
                      Obj   list,
130
                      Int   pos1,
131
                      Int   pos2         );
132

133

134

135
/*
136
**  Functions from dteval.c.
137
*/
138
extern void MultGen(
139
                    Obj     xk,
140
                    UInt    gen,
141
                    Obj     power,
142
                    Obj     pseudoreps    );
143

144
extern Obj Power(
145
                Obj         x,
146
                Obj         n,
147
                Obj         pseudoreps     );
148

149

150
/****************************************************************************
151
**
152

153
*F * * * * * * * * * * * * * initialize package * * * * * * * * * * * * * * *
154
*/
155

156

157
/****************************************************************************
158
**
159

160
*F  InitInfoDeepThought() . . . . . . . . . . . . . . table of init functions
161
*/
162
StructInitInfo * InitInfoDeepThought ( void );
163

164

165
#endif // GAP_DT_H
166

167
/****************************************************************************
168
**
169

170
*E  dt.h  . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
171
**
172
*/
173

174

175