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 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158
|
#ifdef INCLUDE_DECLARATION_PART
const char * Revision_dt_h =
"@(#)$Id: dt.h,v 4.12 2001/12/20 13:02:42 gap Exp $";
#endif
extern void UnmarkTree(
Obj z );
extern UInt Mark(
Obj tree,
Obj reftree,
Int indexx );
extern Int AlmostEqual(
Obj tree1,
Int index1,
Obj tree2,
Int index2 );
extern Int Equal(
Obj tree1,
Int index1,
Obj tree2,
Int index2 );
extern Obj Mark2(
Obj tree,
Int index1,
Obj reftree,
Int index2 );
extern UInt FindTree(
Obj tree,
Int indexx );
extern Obj MakeFormulaVector(
Obj tree,
Obj pr );
extern Obj binomial(
Obj n,
Obj k );
extern Int Leftof(
Obj tree1,
Int index1,
Obj tree2,
Int index2 );
extern Int Leftof2(
Obj tree1,
Int index1,
Obj tree2,
Int index2 );
extern Int Earlier(
Obj tree1,
Int index1,
Obj tree2,
Int index2 );
extern void FindNewReps(
Obj tree,
Obj reps,
Obj pr,
Obj max );
extern void FindSubs(
Obj tree,
Int x,
Obj list1,
Obj list2,
Obj a,
Obj b,
Int al,
Int ar,
Int bl,
Int br,
Obj reps,
Obj pr,
Obj max );
extern void SetSubs(
Obj list,
Obj a,
Obj tree );
extern void UnmarkAEClass(
Obj tree,
Obj list );
extern void TestTree(
Obj tree);
extern Obj Part(
Obj list,
Int pos1,
Int pos2 );
/*
** Functions from dteval.c.
*/
extern void MultGen(
Obj xk,
UInt gen,
Obj power,
Obj pseudoreps );
extern Obj Power(
Obj x,
Obj n,
Obj pseudoreps );
/****************************************************************************
**
*F * * * * * * * * * * * * * initialize package * * * * * * * * * * * * * * *
*/
/****************************************************************************
**
*F InitInfoDeepThought() . . . . . . . . . . . . . . table of init functions
*/
StructInitInfo * InitInfoDeepThought ( void );
/****************************************************************************
**
*E dt.h . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
**
*/
|