Site map rus
AboutNews
ActivitiesComputing & Information resources
     Computing & Information resources > CICC     
News
CICC
Registration
Statistics
AFS File System (ps)
dCache Manual
Safety in Network
Libraries
About Parallel Applications
User's Guide
Practical Recommendations
Contact
Photogallery
Old version of CICC site
Systems of computer algebra on the lxpubXX farm

Log-in
sunct1 axiom # ssh -X lxpub01 -l user-id
user-id@lxpub01's password:
Environmental variables setting
lxpub01:~ > . /afs/.jinr.ru/symbolic/symbolic.env

Systems on 2009.06.01
REDUCE	http://reduce-algebra.com
AXIOM	http://portal.axiom-developer.org
GAP 	http://www.gap-system.org
FORM	http://www.nikhef.nl/~form/

lxpub01:~ > ls -al /afs/.jinr.ru/symbolic/bin/
total 7707
    2048 May 31 15:40 .
    2048 May 31 17:18 ..
    3946 May 31 15:40 axiom	AXIOM
 1584896 May 31 11:35 form	FORM gcc
 2196584 May 31 11:35 formi	FORM intel cc
    2541 May 31 14:45 gap	GAP
     324 May 30 18:47 reduce	REDUCE 3.8
 1703960 May 31 11:35 tform	FORM multi-threaded gcc
 2379864 May 31 11:35 tformi	FORM multi-threaded intel cc
   11159 May 31 14:45 xgap	GAP X11
lxpub01:~ >  

Documentation for the systems on 2009.06.01
/afs/.jinr.ru/symbolic/doc:

 2048 May 31 15:53 axiom
 2048 May 31 13:55 form
 2048 May 31 09:39 gap4r4p12
 4096 May 31 09:17 reduce

/afs/.jinr.ru/symbolic/doc/axiom:

 4010611 May 31 15:53 bookvol0.pdf	Jenks and Sutor book
 1235953 May 31 15:53 bookvol1.pd	Tutorial
  122623 May 31 15:53 bookvol2.pdf	Users Guide
  123334 May 31 15:53 bookvol3.pdf	Programmers Guide
  324873 May 31 15:53 bookvol4.pdf	Developers Guide
 1804748 May 31 15:53 bookvol5.pdf	Interpreter
  340598 May 31 15:53 bookvol6.pdf	Command
 1512658 May 31 15:53 bookvol7.pdf	Hyperdoc
 9317822 May 31 15:53 bookvol7.1.pdf	Hyperdoc Pages
 1133051 May 31 15:53 bookvol8.pdf	Graphics
  202769 May 31 15:53 bookvol9.pdf	Compiler
   97742 May 31 15:53 bookvol10.pdf	Algebra: Implementation
  368761 May 31 15:53 bookvol10.1.pdf	Algebra: Theory
 3586803 May 31 15:53 bookvol10.2.pdf	Algebra: Categories
 5060079 May 31 15:53 bookvol10.3.pdf	Algebra: Domains
 7106026 May 31 15:53 bookvol10.4.pdf	Algebra: Packages
 1932244 May 31 15:53 bookvol11.pdf	Browser
  144061 May 31 15:53 bookvol12.pdf	Crystal
  465060 May 31 15:53 toc.pdf

/afs/.jinr.ru/symbolic/doc/form:

 2048 May 31 10:50 courses
 2048 May 31 10:44 documentation
 2048 May 31 10:52 publications

/afs/.jinr.ru/symbolic/doc/form/courses:

 2048 May 31 10:47 course1	Introductory lectures about FORM taught at
				 NIKHEF, Januari 2006
 2048 May 31 10:48 course2	Lectures about calculating particle reactions,
				 taught at UAM, Feb/Mar 2008
 2048 May 31 10:49 course3	Introductory lectures about FORM taught at
				 Zeuthen, March/April 2009
 2048 May 31 10:50 course4	Calculating particle reactions. Topical
				 lectures at Nikhef, 26-28 Mar 2008

/afs/.jinr.ru/symbolic/doc/form/courses/course1:

  95400 Feb  9  2007 sheets1.pdf
 159710 Feb  9  2007 sheets1.ps
  62957 Feb  9  2007 sheets2.pdf
 111780 Feb  9  2007 sheets2.ps
  77039 Feb  9  2007 sheets3.pdf
 142857 Feb  9  2007 sheets3.ps
  82684 Feb  9  2007 sheets4.pdf
 139356 Feb  9  2007 sheets4.ps
  77463 Feb  9  2007 sheets5.pdf
 153972 Feb  9  2007 sheets5.ps

 /afs/.jinr.ru/symbolic/doc/form/courses/course2:

  4004 Mar  4  2008 formprogs.tar.gz
 18602 Feb 27  2008 kinc.tar.gz
 37435 Feb 20  2008 manual.pdf
 29580 Feb 14  2008 part1.pdf
 59667 Mar  5  2008 part2.pdf
 66815 Feb 27  2008 part3.pdf
 66800 Feb 27  2008 part4.pdf
 93484 Mar  6  2008 sform.pdf

 /afs/.jinr.ru/symbolic/doc/form/courses/course3:

 274810 Mar 31 10:37 c09.ps
 584196 Mar 31 10:38 capp2009.tar.gz

 /afs/.jinr.ru/symbolic/doc/form/courses/course4:
 
   4044 Mar 19  2008 formprogs.tar.gz
  18608 Mar 19  2008 kinc.tar.gz
   9630 Mar 26  2008 kinc1.tar.gz
  54566 Mar 19  2008 manual.pdf
  42290 Mar 19  2008 part1.pdf
  85648 Mar 19  2008 part2.pdf
  87598 Mar 19  2008 part3.pdf
  89771 Mar 19  2008 part4.pdf
 148607 Mar 19  2008 sform.pdf

 /afs/.jinr.ru/symbolic/doc/form/documentation:

 134976 Feb  9  2007 lattice.pdf
 121903 Feb  9  2007 lattice.ps
   2048 May 31 10:43 reference  The reference manual, written by Jos Vermaseren
   2048 May 31 13:56 tutorial   The tutorial, written by Andre Heck

 /afs/.jinr.ru/symbolic/doc/form/documentation/reference:

  917818 Jan 26 22:31 man.pdf
 1036203 Jan 26 22:31 man.ps

 /afs/.jinr.ru/symbolic/doc/form/documentation/tutorial:

 701759 Feb  9  2007 book.pdf
 922390 Feb  9  2007 book.ps

 /afs/.jinr.ru/symbolic/doc/form/publications:

 318648 Feb 20  2007 extform.pdf
 283025 Feb 20  2007 extform.ps
 220680 Feb 20  2007 form3.0.pdf	The article about the release of
 206126 Feb 20  2007 form3.0.ps		  version 3.0
 112390 Feb 20  2007 form3.1.pdf	Shows new features of version 3.1.
  85247 Feb 20  2007 form3.1.ps		 In particular it shows how to use the
					 tablebase facility
 150444 Feb 20  2007 parform1.pdf	An early paper about ParForm
 207815 Feb 20  2007 parform1.ps
 144730 Feb 20  2007 parform2.pdf	Another early paper about ParForm
 351398 Feb 20  2007 parform2.ps
 126891 Feb 20  2007 parform3.pdf	About recent developments with ParFORM
 151966 Feb 20  2007 parform3.ps
 102971 Feb 28  2007 tform.pdf		About the implementation of the use of
 121752 Feb 28  2007 tform.ps		 multiple threads


/afs/.jinr.ru/symbolic/doc/gap4r4p12:

  361322 May 31 09:39 ext.pdf		Extending GAP
  198344 May 31 09:39 ind.pdf		Index
  161973 May 31 09:39 new.pdf		New Features for Developers
  327153 May 31 09:39 prg.pdf		Programming in GAP 4
 2970801 May 31 09:39 ref.pdf		Reference Manual
  407911 May 31 09:39 tut.pdf		Tutorial

/afs/.jinr.ru/symbolic/doc/reduce:
total 17920
    4096 May 31 09:17 .
    2048 May 31 17:04 ..
   31134 Aug 30  2004 algint.pdf
  207971 Aug 30  2004 applysym.pdf
   97709 Aug 30  2004 arnum.pdf
  172963 Aug 30  2004 assist.pdf
  295029 Aug 30  2004 atensor.ps
  120401 Aug 30  2004 avector.pdf
  371504 Aug 30  2004 bibl.ps
   76771 Aug 30  2004 boolean.pdf
  317272 Aug 30  2004 cali.pdf
  151169 Aug 30  2004 camal.pdf
  288863 Aug 30  2004 cantens.pdf
  118767 Aug 30  2004 cgb.pdf
  122842 Aug 30  2004 changevr.pdf
   79216 Aug 30  2004 compact.pdf
   93094 Aug 30  2004 conlaw.pdf
  183259 Aug 30  2004 crack.pdf
   97650 Aug 30  2004 cvit.pdf
  147256 Aug 30  2004 defint.pdf
  106502 Aug 30  2004 desir.pdf
   94815 Aug 30  2004 dfpart.pdf
  139144 Aug 30  2004 dummy.pdf
  271258 Aug 30  2004 eds.pdf
  160065 Aug 30  2004 excalc.pdf
   76173 Aug 30  2004 fide.txt
  121581 Aug 30  2004 fps.pdf
  450433 Aug 30  2004 gentran.pdf
   90284 Aug 30  2004 ghyper.pdf
 1239968 Aug 30  2004 gnuplot.pdf
  225372 Aug 30  2004 groebner.pdf
   68911 Aug 30  2004 ideals.pdf
   76615 Aug 30  2004 ineq.pdf
   70668 Aug 30  2004 invbase.pdf
   66928 Aug 30  2004 laplace.pdf
   88151 Aug 30  2004 lie.pdf
   97345 Aug 30  2004 liepde.pdf
   68082 Aug 30  2004 limits.pdf
  203761 Aug 30  2004 linalg.pdf
  122763 Aug 30  2004 mathml.pdf
   98968 Aug 30  2004 meijerg.pdf
   31327 Aug 30  2004 modsr.pdf
  132300 Aug 30  2004 mrvlimit.pdf
  122892 Aug 30  2004 ncpoly.pdf
  163066 Aug 30  2004 normform.pdf
  132864 Aug 30  2004 numeric.pdf
  194578 Aug 30  2004 odesolve.pdf
  138556 Aug 30  2004 orthovec.pdf
  161887 Aug 30  2004 physop.pdf
   67397 Aug 30  2004 pm.pdf
   96381 Aug 30  2004 polydiv.pdf
  340265 Aug 30  2004 primer.pdf
  949910 Aug 30  2004 pslman.pdf
  791538 Aug 30  2004 pslman.ps
  195846 Aug 30  2004 qsum.pdf
 2336896 Aug 30  2004 r38.pdf		REDUCE  User's and Contributed Packages
					 Manual Version 3.8
  154806 Aug 30  2004 randpoly.pdf
  130852 Aug 30  2004 rataprx.pdf
  167389 Aug 30  2004 ratint.pdf
  107846 Aug 30  2004 rdebug.pdf
   63789 Aug 30  2004 reacteqn.pdf
  273384 Aug 30  2004 redlog.pdf
  488086 Aug 30  2004 reduce.pdf	REDUCE User's Manual Version 3.8
  689560 Aug 30  2004 reduce.ps
   24699 Aug 30  2004 reset.pdf
   68257 Aug 30  2004 residue.pdf
   89619 Aug 30  2004 rlfi.pdf
  106946 Aug 30  2004 roots.pdf
   85341 Aug 30  2004 rsolve.pdf
  106859 Aug 30  2004 rtrace.pdf
  392549 Aug 30  2004 scope.pdf
  110041 Aug 30  2004 sets.pdf
  261184 Aug 24  2004 sl.pdf
  189227 Aug 30  2004 sparse.pdf
  102586 Aug 30  2004 spde.pdf
  173533 Aug 30  2004 specfn.pdf
   74993 Aug 30  2004 sum.pdf
  162496 Aug 30  2004 susy2.pdf
  111720 Aug 30  2004 symmetry.pdf
  116211 Aug 30  2004 taylor.pdf
  106058 Aug 30  2004 tps.pdf
  222871 Aug 30  2004 tri.pdf
  135080 Aug 30  2004 trigint.pdf
  103349 Aug 30  2004 trigsimp.pdf
  121190 Aug 30  2004 turtle.pdf
   58381 Aug 30  2004 wu.pdf
   71180 Aug 30  2004 xcolor.pdf
  121258 Aug 30  2004 xideal.pdf
  198162 Aug 30  2004 zeilberg.pdf
  141890 Aug 30  2004 ztrans.pdf
lxpub01:~ >    

Session REDUCE
lxpub01:~ > reduce
Loading image file :/afs/.jinr.ru/symbolic/reduce/3.8_64/lisp/psl/linux/red/reduce.img
REDUCE 3.8, 15-Apr-2004, patched to 2-Aug-2008 ...

1: (a+b)^3;

 3      2          2    3
a  + 3*a *b + 3*a*b  + b          

2: quit;

Quitting

lxpub01:~ > 

Session AXIOM
lxpub01:~ > axiom
                        AXIOM Computer Algebra System
                         Version: Axiom (March 2009)
                 Timestamp: Sunday May 31, 2009 at 13:57:19
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
-----------------------------------------------------------------------------

   Re-reading compress.daase   Re-reading interp.daase
   Re-reading operation.daase
   Re-reading category.daase
   Re-reading browse.daase
(1) ->
(1) -> (a+b)^3
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/INT.o
      for domain Integer
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/POLY.o
      for domain Polynomial
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SYMBOL.o
      for domain Symbol
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/REF.o
      for domain Reference
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ALIST.o
      for domain AssociationList
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/LIST.o
      for domain List
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/STRING.o
      for domain String
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/CHAR.o
      for domain Character
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SINT.o
      for domain SingleInteger
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/OUTFORM.o
      for domain OutputForm
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/PRIMARR.o
      for domain PrimitiveArray
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/A1AGG-.o
      for domain OneDimensionalArrayAggregate&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ISTRING.o
      for domain IndexedString
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SRAGG-.o
      for domain StringAggregate&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/FLAGG-.o
      for domain FiniteLinearAggregate&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/LNAGG-.o
      for domain LinearAggregate&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SMP.o
      for domain SparseMultivariatePolynomial
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SUP.o
      for domain SparseUnivariatePolynomial
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/SAOS.o
      for domain SingletonAsOrderedSet
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/NNI.o
      for domain NonNegativeInteger
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/UPMP.o
      for package UnivariatePolynomialMultiplicationPackage
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/PR.o
      for domain PolynomialRing
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/FM.o
      for domain FreeModule
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/IDPAG.o
      for domain IndexedDirectProductAbelianGroup
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/IDPAM.o
      for domain IndexedDirectProductAbelianMonoid
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/IDPO.o
      for domain IndexedDirectProductObject
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/UPOLYC-.o
      for domain UnivariatePolynomialCategory&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/POLYCAT-.o
      for domain PolynomialCategory&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/FAMR-.o
      for domain FiniteAbelianMonoidRing&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ILIST.o
      for domain IndexedList
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/LSAGG-.o
      for domain ListAggregate&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/STAGG-.o
      for domain StreamAggregate&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/ELAGG-.o
      for domain ExtensibleLinearAggregate&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/URAGG-.o
      for domain UnaryRecursiveAggregate&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/RCAGG-.o
      for domain RecursiveAggregate&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/IXAGG-.o
      for domain IndexedAggregate&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/CLAGG-.o
      for domain Collection&
   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/BOOLEAN.o
      for domain Boolean

   Loading
      /afs/.jinr.ru/symbolic/axion/axiom-1316/mnt/linux64/algebra/UDPO.o
      for package UserDefinedPartialOrdering
         3       2     2     3
   (1)  b  + 3a b  + 3a b + a
                                                     Type: Polynomial Integer
(2) -> )quit
   Please enter y or yes if you really want to leave the interactive
      environment and return to the operating system:
y

lxpub01:~ > 

Session GAP
lxpub01:~ > gap

            #########           ######         ###########           ###
         #############          ######         ############         ####
        ##############         ########        #############       #####
       ###############         ########        #####   ######      #####
      ######         #         #########       #####    #####     ######
     ######                   ##########       #####    #####    #######
     #####                    ##### ####       #####   ######   ########
     ####                    #####  #####      #############   ###  ####
     #####     #######       ####    ####      ###########    ####  ####
     #####     #######      #####    #####     ######        ####   ####
     #####     #######      #####    #####     #####         #############
      #####      #####     ################    #####         #############
      ######     #####     ################    #####         #############
      ################    ##################   #####                ####
       ###############    #####        #####   #####                ####
         #############    #####        #####   #####                ####
          #########      #####          #####  #####                ####

     Information at:  http://www.gap-system.org
     Try '?help' for help. See also  '?copyright' and  '?authors'

   Loading the library. Please be patient, this may take a while.
GAP4, Version: 4.4.12 of 17-Dec-2008, x86_64-unknown-linux-gnu-gcc
Components:  small 2.1, small2 2.0, small3 2.0, small4 1.0, small5 1.0, small6 1.0,
             small7 1.0, small8 1.0, small9 1.0, small10 0.2, id2 3.0, id3 2.1,
             id4 1.0, id5 1.0, id6 1.0, id9 1.0, id10 0.1, trans 1.0, prim 2.1
               loaded.
Packages:    AClib 1.1, Polycyclic 2.6, Alnuth 2.2.5, AutPGrp 1.2, nq 2.2,
             GAPDoc 1.2, IO 3.0, CrystCat 1.1.3, Cryst 4.1.6, Carat 2.1, CRISP 1.3.2,
             CTblLib 1.1.3, TomLib 1.1.4, FactInt 1.5.2, FGA 1.1.0.1, IRREDSOL 1.1.2,
             LAGUNA 3.4, Sophus 1.23, Polenta 1.2.7, ResClasses 2.5.3  loaded.
gap> 3^80;
147808829414345923316083210206383297601
gap> quit;
lxpub01:~ > 
   Copyright © LIT, JINR , 2006
    Webmaster : @jinr.ru

|    About    |    News    |    Activities    |    Computing & Information resources    |