CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Path: gap4r8 / src / dt.h
Views: 418346
Tweet
Share
Share
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