"Source: Text/System/IO.text";
"Line: 2223";
"Date: Thu Sep 25 14:47:43 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/IO.text, line: 2223
// Example: H3E16 ()
print "Example: H3E16";
ei := GetEchoInput();
SetEchoInput(true);
// no-test
// First Magma process
server := Socket(: LocalHost := "localhost", LocalPort := 4000);
S1 := WaitForConnection(server);
// Second Magma process
S2 := Socket("localhost", 4000);
ExchangeVersions(S2);
// First Magma process
ExchangeVersions(S1);
// First Magma process
WriteObject(S1, [ IsPrime(x) : x in [1..10] ]);
// Second Magma process
ReadObject(S2);
WriteObject(S2, IdentityMatrix(Rationals(), 2));
// First Magma process
ReadObject(S1);
Parent($1);
// First Magma process
E := EllipticCurve("37a1");
E;
WriteObject(S1, E);
WriteObject(S1, Sprint(E, "Magma"));
// Second Magma process
E := eval ReadObject(S2);
E;
SetEchoInput(ei);
