I would to ask you if there is a way to put a MAGMA command that stop a function in a script if the occurring time is greater than a certain prefixed time $T\geq 0$ (for example $T=15 $ minutes ). After this stop, I would that the script goes on to compute.
I looked at the website MAGMA but it seems there isn’t anything that could do this.
Any help will be appreciate.