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