MAGMA
Documentation Try online Download
Cite Contact
Login
/
« Previous Up Root Index Search Next »
THE MAGMA PROFILER  
Acknowledgements
 
Introduction
 
Profiler Basics
 
Exploring the Call Graph
      Internal Reports
      HTML Reports
 
Recursion and the Profiler







 
Introduction

 
Profiler Basics
      SetProfile(b): BoolElt ->
      GetProfile() : -> BoolElt
      ProfileReset(): ->
      ProfileGraph(): -> GrphDir
      Example Prof_basic-profiling (H7E1)

 
Exploring the Call Graph

      Internal Reports
            ProfilePrintByTotalCount(G): GrphDir ->
            ProfilePrintByTotalTime(G): GrphDir ->
            ProfilePrintChildrenByCount(G, n): GrphDir, GrphVert ->
            ProfilePrintChildrenByTime(G, n): GrphDir, GrphVert ->
            Example Prof_profile-reports (H7E2)

      HTML Reports
            ProfileHTMLOutput(G, prefix): GrphDir, MonStgElt ->

 
Recursion and the Profiler
      Example Prof_profiler-recursion (H7E3)

[Next][Prev] [Right] [____] [Up] [Index] [Root]


Version: V2.29 of Fri Nov 28 15:14:01 AEDT 2025
« Previous Up Root Index Search Next »
Search:

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.

About · Group · Seminar · FAQ · Release Notes
© 1993–2026 Computational Algebra Group.