up previous next
5.1.5 Timer
If the Timer option is on, then the system displays the execution time of each command submitted at top-level.

  Use R ::= ZZ/(32003)[t,x,y,z], Lex;
  N := 31;
  I := Ideal(t^N+t^6+t-x, t^5-t-y, t^9-t-z);
  Set Timer;
  T := GBasis(I);
Cpu time = 2.88, User time = 30

To time a single command, use 
  .  For example, above, we could
have written Time T := GBasis(I) instead of setting the timer.