version 1.2, 2000/12/14 05:09:29 |
version 1.5, 2006/10/27 01:38:17 |
|
|
ID=" $OpenXM: OpenXM/src/Macaulay2/m2/oxclient.m2,v 1.1 2000/09/21 09:20:53 takayama Exp $ " |
ID=" $OpenXM: OpenXM/src/Macaulay2/m2/oxclient.m2,v 1.4 2000/12/17 08:31:39 takayama Exp $ " |
|
|
load "oxcommon.m2" |
load "oxcommon.m2" |
|
|
Line 208 oxPrimDecomp = method() |
|
Line 208 oxPrimDecomp = method() |
|
oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> ( |
oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> ( |
-- translate to asir notation |
-- translate to asir notation |
s := toString I; |
s := toString I; |
s = "[" | substring(s,6,#s-7) | "]"; |
s = "[" | substring(s,7,#s-8) | "]"; |
v = toString gens ring I; |
v = toString gens ring I; |
v = "[" | substring(v,1,#v-2) | "]"; |
v = "[" | substring(v,1,#v-2) | "]"; |
s = "primadec(" | s | "," | v | ");"; |
s = "primadec(" | s | "," | v | ");"; |
Line 221 oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> ( |
|
Line 221 oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> ( |
|
oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> ( |
oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> ( |
-- translate to asir notation |
-- translate to asir notation |
s := toString I; |
s := toString I; |
s = "[" | substring(s,6,#s-7) | "]"; |
s = "[" | substring(s,7,#s-8) | "]"; |
v = toString gens ring I; |
v = toString gens ring I; |
v = "[" | substring(v,1,#v-2) | "]"; |
v = "[" | substring(v,1,#v-2) | "]"; |
s = "primadec(" | s | "," | v | ");"; |
s = "primadec(" | s | "," | v | ");"; |
Line 241 oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> ( |
|
Line 241 oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> ( |
|
|
|
makeLaunchCommand=(UseSSH,MyHostName,RemoteLoginName,RemoteHostName,OxServerName,dPort,cPort,PASS)->( |
makeLaunchCommand=(UseSSH,MyHostName,RemoteLoginName,RemoteHostName,OxServerName,dPort,cPort,PASS)->( |
commXterm := toString " xterm -geometry 80x25-0-0 " ; |
commXterm := toString " xterm -geometry 80x25-0-0 " ; |
commOX :=toString " -e ox -ox " | OxServerName | |
commOX :=toString " -e ox -ox " | |
|
getenv("OpenXM_HOME") | "/bin/" | |
|
OxServerName | |
" -data " | dPort | |
" -data " | dPort | |
" -control " | cPort | |
" -control " | cPort | |
" -reverse " | |
" -reverse " | |
" -host " | RemoteHostName | |
" -host " | RemoteHostName | |
" -pass " | PASS | " "; |
" -pass " | PASS | " "; |
if (UseSSH) then ( |
if (UseSSH) then ( |
comm = toString "ssh -f -l " | RemoteLoginName | " " | |
comm = toString "ssh -f -X -A -l " | RemoteLoginName | " " | |
RemoteHostName | |
RemoteHostName | |
" '" | commXterm | |
" '" | commXterm | |
--uncomment when X11 forwarding is not allowed. |
--uncomment when X11 forwarding is not allowed. |
" -display " | MyHostName | ":0 " | |
-- " -display " | MyHostName | ":0 " | |
commOX | "' >/dev/null "; |
commOX | "' >/dev/null "; |
) |
) |
else ( |
else ( |