Return to plucker.rr CVS log | Up to [local] / OpenXM / src / asir-contrib / packages / src |
File: [local] / OpenXM / src / asir-contrib / packages / src / plucker.rr (download)
Revision 1.2, Sun Aug 11 08:39:49 2002 UTC (21 years, 9 months ago) by takayama
Added several entries in the manual. plucker_index, sm1_saturation, sm1_bfunciton, sm1_generalized_bfunction,... |
/* $OpenXM: OpenXM/src/asir-contrib/packages/src/plucker.rr,v 1.2 2002/08/11 08:39:49 takayama Exp $ */ #define OX_LOADFILE(A,B) /* Do nothing. */ load("taka_plucker.rr")$ /* plucker */ /*&usage begin: plucker_index(V) It gets the index of the variable {V}. example: plucker_index(plucker_y([1,2,3])); end: */ def plucker_index(F) { OX_LOADFILE(Loaded_taka_plucker,"taka_plucker.rr"); return(taka_plucker_index(F)); } def plucker_relation(L,M) { OX_LOADFILE(Loaded_taka_plucker,"taka_plucker.rr"); return(taka_plucker_relation(L,M)); } def plucker_y(L) { OX_LOADFILE(Loaded_taka_plucker,"taka_plucker.rr"); return(taka_plucker_y(L)); } end$