Hallo,
I have a file, filename.magma say (plain text), which looks like
S:={@....@};
the set S contains MANY groups that I'm interested in. In particular, S is HUGE. With the function load I've tried to read that file (load "filename.magma"). Unfortunately, the magma terminal reads and prints the content of the file. So it takes hours for the me to have the prompt back. Is there a way for magma to read the file but without printing it out.
Thanks
