OpenXM/src/Macaulay2/m2/oxclient.m2 - diff

Return to oxclient.m2 CVS log

Up to [local] / OpenXM / src / Macaulay2 / m2

version 1.3, 2000/12/14 05:28:05

version 1.5, 2006/10/27 01:38:17

Line 1

ID=" $OpenXM: OpenXM/src/Macaulay2/m2/oxclient.m2,v 1.2 2000/12/14 05:09:29 takayama Exp $ "

ID=" $OpenXM: OpenXM/src/Macaulay2/m2/oxclient.m2,v 1.4 2000/12/17 08:31:39 takayama Exp $ "

load "oxcommon.m2"

Line 208 oxPrimDecomp = method()

oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> (

-- translate to asir notation

s := toString I;

s = "[" | substring(s,6,#s-7) | "]";

s = "[" | substring(s,7,#s-8) | "]";

v = toString gens ring I;

v = "[" | substring(v,1,#v-2) | "]";

s = "primadec(" | s | "," | v | ");";

Line 221 oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> (

oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> (

-- translate to asir notation

s := toString I;

s = "[" | substring(s,6,#s-7) | "]";

s = "[" | substring(s,7,#s-8) | "]";

v = toString gens ring I;

v = "[" | substring(v,1,#v-2) | "]";

s = "primadec(" | s | "," | v | ");";

Line 250 makeLaunchCommand=(UseSSH,MyHostName,RemoteLoginName,R

" -host " | RemoteHostName |

" -pass " | PASS | " ";

if (UseSSH) then (

comm = toString "ssh -f -l " | RemoteLoginName | " " |

comm = toString "ssh -f -X -A -l " | RemoteLoginName | " " |

RemoteHostName |

" '" | commXterm |

--uncomment when X11 forwarding is not allowed.