LIE(1)LIE(1)NAME
LiE - A computer algebra package for Lie group computations
SYNOPSIS
lie
DESCRIPTION
LiE LiE is a computer algebra system that is specialised in computations involving (reductive) Lie groups and their representations.
Full documentation about the program and the underlying mathematics can be found in /usr/share/doc/lie/manual.dvi.
Run-time help can be obtained by typing '?' for a list of help entries or '?help' for help information.
SEE ALSO
Homepage: "http://young.sp2mi.univ-poitiers.fr/~marc/LiE/"
AUTHORS
LiE was written by Arjeh M. Cohen <amc@win.tue.nl>, Marc van Leeuwen <maavl@mathlabo.univ-poitiers.fr> and Bert Lisser.
This manual page was written by Kasper Peeters <kasper.peeters@aei.mpg.de>, for the Debian project (but may be used by others).
April 29, 2007 LIE(1)
Check Out this Related Man Page
REWRITER(1) General Commands Manual REWRITER(1)NAME
rewriter - demodulate terms
SYNOPSIS
rewriter <demodulators-file> < <terms-file> > <rewritten-terms-file>
DESCRIPTION
This manual page documents briefly the rewriter command.
Rewrite a stream of terms with a list of demodulators. The demodulators are used left-to-right as given, and they are not checked for ter-
mination.
SYNTAX
The file of demodulators contains optional commands then a list of demodulators. The commands can be used to declare infix operations and
associativity/commutativity. Example file of demodulators:
op(400, infix, ^).
op(400, infix, v).
assoc_comm(^).
assoc_comm(v).
formulas(demodulators).
x ^ x = x.
x ^ (x v y) = x.
x v x = x.
x v (x ^ y) = x.
end_of_list.
SEE ALSO prover9(1), mace4(1).
Full documentation for rewriter is found in the prover9 manual, available on Debian systems in the prover9-doc package at
/usr/share/doc/prover9-doc/manual/index.html.
AUTHOR
rewriter was written by William McCune <mccune@cs.unm.edu>
This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others).
January 20, 2007 REWRITER(1)
Hi there,
I am wondering if by logging in to a unix system, if it is possible to get the IP address of the machine I am connecting FROM.
I know how I can do this using the name server, but is this possible without a host lookup?:confused:
Thanks,
-ghoti (15 Replies)
Hi guys,
I am new, but my question seems a little difficult so maybe you can help me. I am wondering if it is possible to get the DISPLAY from another client to trouble shoot problems they are having. My friend is a Linux admin. and he said to just export their display and I have tried that but... (17 Replies)
All biological cognitive minds which exist for a fleeting moment in a 20 billion year old universe make cognitive inferences. Most of these cognitive inferences are wrong and are a synthesis of an infinite series of mistaken inferences based on the inability of a biological cognitive mind to... (24 Replies)
Hi,
I have a trouble with configure NIS Client on AIX, my NIS server is on a Linux machine.
After configure, some old NIS account could login normally. However, after I create new account from NIS server, I could not login with the new account, but could only su to that account. And I could view... (20 Replies)
Hi Gurus
I am a novice in LDAP and need to configure an LDAP client(Solaris 10).
The client has to bind to an AD for LDAP queries. I have created a user called testbind in AD for binding purpose.
I am planning to configure LDAP client manually(as the requirement is as such).
This is the... (16 Replies)
I am curious about the most popular ssh client on Windows environment. Talking about me, I use PuTTY most of the time coupled with WinSCP to transfer files. But, I like Tera Term too. It has great drag-drop feature where you can drag a file/folder and drop on the window and it will transfer the... (14 Replies)
Hello everyone!
Currently, i have a RHEL6 server, with openLDAP server running. Most of our servers run on Rhel platform, but some of them run in Solaris 10, and I need to make them authenticate with ldap too.
As the ldap server is running without encryption, the command I used for initialize... (13 Replies)
Hi,
I've a question regarding a smbclient-Command in my shell script.
Here my relevant script part:
fileattr=`/opt/samba/bin/smbclient --authentication-file=$AUTH_FILE //$SMB_HOST/$SMB_SHARE 2> /dev/null
prompt off
cd $SMB_DIR
put $LOC_FILE $SMB_FILE
dir /$SMB_DIR/$SMB_FILE
... (17 Replies)
I'm writing a simple chat client in C++ on linux to connect to a win32 chat server on my computer also written in C++. I'm confident that the server works but the chat client is giving me some trouble. I'm forking the chat client and have one process dealing with incoming messages and another... (14 Replies)
All;
I've done this before, but sure I'm typing in the wrong search terms, so not finding the help I need.
What I have to do: Set up Samba, smb.conf, smbclient, fstab and all other settings so I see both the Windows and Linux servers and their shares in the network, via Samba.
It's... (19 Replies)
I am running AIX 7.1 and currently we have samba 3.6.25 installed on the server. As it stands some AIX folders are shared that can be accessed by certain Windows users.
The problem is that since Windows 10 the guest feature no longer works so users have to manually type in their Windows login/pwd... (14 Replies)