Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

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

610987 views
Tweet
Share
Share
1
/****************************************************************************

2
**

3
*W  pty.h                       XGAP source                      Frank Celler

4
**

5
**

6
*Y  Copyright 1995-1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany

7
*Y  Copyright 1997,       Frank Celler,                 Huerth,       Germany

8
*/

9
#ifndef _pty_h

10
#define _pty_h

11


12


13
/****************************************************************************

14
**

15


16
*V  QuitGapCtrlD  . . . . . . . . . . . . . . . . . . . . . . . quit on CTR-D

17
*/

18
extern Boolean QuitGapCtrlD;

19


20


21
/****************************************************************************

22
**

23
*V  ScreenSizeBuffer  . . . . . . . . . . . . . .  screen size change command

24
*/

25
extern char ScreenSizeBuffer[];

26


27


28
/****************************************************************************

29
**

30
*V  ExecRunning . . . . . . . . . . . . . . . . . .  external program running

31
*/

32
extern Boolean ExecRunning;

33


34


35
/****************************************************************************

36
**

37


38
*P  Prototypes  . . . . . . . . . . . . . . . . . . . . . function prototypes

39
*/

40
extern Int  CheckCaretPos( Int, Int );

41
extern int  StartGapProcess( String, String argv[] );

42
extern void GapOutput( XtPointer, Int*,  XtInputId );

43
extern void InterruptGap( void );

44
extern void KeyboardInput( String, Int );

45
extern void KillGap( void );

46
extern void StoreInput( String, Int );

47
extern void ProcessStoredInput( Int );

48
extern int  PlaybackFile ( String );

49
extern int  ResumePlayback( void );

50


51


52
/****************************************************************************

53
**

54


55
*D  ReadGap( <buf>, <len> ) . . . . . . . . . . . . . . . read bytes from gap

56
*D  WriteGap( <buf>, <len> )  . . . . . . . . . . . . . .  write bytes to gap

57
*/

58
#ifdef DEBUG_ON

59
    extern Int              READ_GAP ( String, Int, String, Int );

60
    extern void             WRITE_GAP( String, Int, String, Int );

61
#   define ReadGap(a,b)	    READ_GAP ( __FILE__, __LINE__, a, b )

62
#   define WriteGap(a,b)    WRITE_GAP( __FILE__, __LINE__, a, b )

63
#else

64
    extern Int              ReadGap ( String, Int );

65
    extern void             WriteGap( String, Int );

66
#endif

67


68
#endif

69


70


71
/****************************************************************************

72
**

73


74
*E  pty.h . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here

75
*/

76


77