Annotation of OpenXM/src/kan96xx/Doc/sm1.1, Revision 1.5
1.5 ! takayama 1: .C $OpenXM: OpenXM/src/kan96xx/Doc/sm1.1,v 1.4 2000/03/15 11:38:55 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"
1.3 takayama 34: Upon startup, sm1 executes the file "filename".
1.1 takayama 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
1.4 takayama 78: main executable,
1.1 takayama 79: .I lib/*.sm1
80: library files
81:
82: .SH PRIMARY FTP SITE
1.4 takayama 83: The most recent source distributions can be found at
1.1 takayama 84: .RS
1.4 takayama 85: .I ftp://ftp.math.sci.kobe-u.ac.jpr/pub/OpenXM/*/openxm01-*.tar.gz
1.1 takayama 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),
1.5 ! takayama 114: .IR openxm (1),
1.1 takayama 115: .IR tex (1),
116: .IR xdvi(1)
117:
118: .SH COPYING
119: Kan/sm1 follows a BSD-like copyright.
120: See the COPYRIGHT file in the
121: distribution OpenXM/Copyright.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>