Language and System Features [HB 1-6]

New Features:

• A profiler for the Magma language is now included, which gives users the ability to pinpoint performance bottlenecks in their code. The profile graph is accessible as a Magma graph structure, allowing the user to perform any analysis on the data necessary. Many commonly used analyses are provided, and a link into the graph visualization software GraphViz has also been implemented.

• Indexed types have been implemented, allowing more finely grained control over intrinsic selection. For example, the user can now specify an intrinsic which only accepts polynomials over integers as arguments, instead of polynomials over any arbitrary ring. The intrinsic matching logic has been redesigned so that the user also has the ability to override system intrinsics if desired.

• A Windows 2000/XP kernel driver is now provided which adds several missing features to the Windows port: Control-C handling and the Alarm function. With this kernel driver, the Windows port now has no limitations when compared to other platforms.