| Current Path : /proc/thread-self/root/usr/include/gap/ |
Linux ift1.ift-informatik.de 5.4.0-216-generic #236-Ubuntu SMP Fri Apr 11 19:53:21 UTC 2025 x86_64 |
| Current File : //proc/thread-self/root/usr/include/gap/dt.h |
/****************************************************************************
**
*W dt.h GAP source Wolfgang Merkwitz
**
**
*Y Copyright (C) 1996, Lehrstuhl D für Mathematik, RWTH Aachen, Germany
*Y (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland
*Y Copyright (C) 2002 The GAP Group
**
** This file implements the part of the deep thought package which deals
** with computing the deep thought polynomials. See dt.c for further
** information.
*/
#ifndef GAP_DT_H
#define GAP_DT_H
#include "system.h"
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 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 module * * * * * * * * * * * * * * *
*/
/****************************************************************************
**
*F InitInfoDeepThought() . . . . . . . . . . . . . . table of init functions
*/
StructInitInfo * InitInfoDeepThought ( void );
#endif // GAP_DT_H