Magma

MAGMA Computational Algebra System

Magma
 •  How to get it
 •  Download
 •  Online Demo
 
Resources
 •  Online Help
 •  Discovering Mathematics with Magma
 •  Citations
 •  How to cite Magma
 •  Links
 •  Contact us
 
[Next][Prev] [Right] [Left] [Up] [Index] [Root]

THE MAGMA PROFILER

 
Acknowledgements
 
Introduction
 
Profiler Basics
 
Exploring the Call Graph
      Internal Reports
      HTML Reports
 
Recursion and the Profiler







DETAILS

 
Introduction

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

 
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 (H6E2)

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

 
Recursion and the Profiler
      Example Prof_profiler-recursion (H6E3)

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


Version: V2.14 of Tue Oct 30 14:01:03 EST 2007

Valid HTML 4.01! Valid CSS!