The GAP 4 Type System: Organising Algebraic Algorithms

@inproceedings{Breuer1998TheG4,
  title={The GAP 4 Type System: Organising Algebraic Algorithms},
  author={Thomas Breuer and Steve Linton},
  booktitle={ISSAC},
  year={1998}
}
Version 4 of the GAP (Groups, Algorithms, Programming) system for computational discrete mathematics has a number of novel features. In this paper, we describe the type system, and the way in which it is used for method selection. This system is central to the organisation of the library which is the main part of the GAP system. Unlike simpler object-oriented systems, GAP allows method selection based on the types of all arguments and on certain aspects of the relationship between the arguments… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS