Annotation of OpenXM/src/kan96xx/Doc/sm1.1, Revision 1.2
1.2 ! takayama 1: .C $OpenXM: OpenXM/src/kan96xx/Doc/sm1.1,v 1.1 2000/02/28 03:54:06 takayama Exp $
1.1 takayama 2: .TH SM1 1 "28 February 2000"
3: .SH NAME
4: sm1 \- Computer algebra system for the ring of differential operators
5: .SH SYNOPSIS
6: .B sm1
7: .RB [ -f
8: .IR filename ]
9: .RB [ -standardmacros ]
10: .RB [ -q ]
11: .RB [ -s
12: .IR command strings ]
13:
14: .SH DESCRIPTION
15: The system kan/sm1 is a Grobner engine specialized especially
1.2 ! takayama 16: to the ring of differential operators.
! 17: The sm1 language is a subset of
! 18: the Postscript language with an extension for object oriented
! 19: programming.
1.1 takayama 20: It is designed to be a back-end engine for a
21: heterotic distributed computing system.
22: However, it is not difficult to control kan/sm1 directly.
23: Its basic data types are
24: .TP
25: integers, polynomials (differential operators)
26: .PP
27: and lists.
28:
29:
30: .SH OPTIONS
31: The following command line options are available:
32: .TP
33: .B \-f " filename"
34: Execute a file. Do not start with an interactive mode.
35: .TP
36: .B \-standardmacros
37: Do not execute startup macros.
38: .TP
39: .B \-q
40: Quiet mode.
41: .TP
42: .BI \-s " command string"
43: Upon startup, sm1 executes the command string.
44:
45: .SH USE
46: .TP
47: .B ?
48: to get a list of primitives.
49: .TP
50: .B ??
51: to get a list of standard macros.
52: .TP
53: .B quit
54: (or \\q), or
55: .B EOF
56: (Ctrl-D) to quit
57: .TP
58: .B A sample input:
59: .TP
60: (cohom.sm1) run
61: .TP
62: [[ (x Dx + y Dy + 1) (x Dx y Dy-4) ] [(x) (y)] [[(Dy) 1]]] gb ::
63: .TP
64:
65: .SH MANUALS
66: The following material is included in the standard distribution (originally
1.2 ! takayama 67: in TeX format) in the Doc directory or in /usr/local/OpenXM/doc/kan96xx:
1.1 takayama 68: .TP
69: .I The kan/sm1 Operators reference
70: (onlinehelp.dvi)
71: .TP
72: .I Kan/sm1, a tutorial
73: (ttt.dvi):
74:
75: .SH FILES
76: .TP
77: .I sm1
78: main executable
79: .I lib/*.sm1
80: library files
81:
82: .SH PRIMARY FTP SITE
83: The most recent distributions can be found at
84: .RS
85: .I ftp://ftp.math.sci.kobe-u.ac.jpr/pub/OpenXM/*/OpenXM01.tgz
86: .RE
87:
88: Tips, development and info are found at
89: OpenXM home page,
90: .RS
91: .I http://www.math.sci.kobe-u.ac.jp/OpenXM or kan
92: .RE
93: This cite will be moved to
94: .RS
95: .I http://www.openxm.org/kan
96: .RE
97: in a future.
98:
99:
100: .SH Mails
101: Questions, comments and bug reports should be sent to
102: .IR kan@math.sci.kobe-u.ac.jp
103: Fixes are welcome too !
104:
105: .SH AUTHOR
106: Kan/sm1 was originally written and is maintained by
107: Nobuki Takayama (Kobe University).
108:
109: .SH SEE ALSO
110: .IR asir (1),
1.2 ! takayama 111: .IR M2 (Macaulay 2) (1),
1.1 takayama 112: .IR maple (1),
113: .IR mathematica (1),
114: .IR tex (1),
115: .IR xdvi(1)
116:
117: .SH COPYING
118: Kan/sm1 follows a BSD-like copyright.
119: See the COPYRIGHT file in the
120: distribution OpenXM/Copyright.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>