Return to plucker.rr CVS log

Up to [local] / OpenXM / src / asir-contrib / packages / src

Annotation of OpenXM/src/asir-contrib/packages/src/plucker.rr, Revision 1.2

1.2     ! takayama    1: /* $OpenXM: OpenXM/src/asir-contrib/packages/src/plucker.rr,v 1.1 2002/07/14 13:14:37 takayama Exp $ */
        !             2: #define OX_LOADFILE(A,B)   /* Do nothing. */
1.1       takayama    3:
1.2     ! takayama    4: load("taka_plucker.rr")$
        !             5: /* plucker */
        !             6: /*&usage begin: plucker_index(V)
        !             7:  It gets the index of the variable {V}.
        !             8:  example: plucker_index(plucker_y([1,2,3]));
        !             9: end: */
        !            10: def plucker_index(F) {
        !            11:   OX_LOADFILE(Loaded_taka_plucker,"taka_plucker.rr");
        !            12:   return(taka_plucker_index(F));
        !            13: }
        !            14: def plucker_relation(L,M) {
        !            15:   OX_LOADFILE(Loaded_taka_plucker,"taka_plucker.rr");
        !            16:   return(taka_plucker_relation(L,M));
        !            17: }
        !            18: def plucker_y(L) {
        !            19:   OX_LOADFILE(Loaded_taka_plucker,"taka_plucker.rr");
        !            20:   return(taka_plucker_y(L));
        !            21: }
1.1       takayama   22:
                     23: end$