Constructing algebraic objects with the category framework in Sage (tutorial, 50min)

Abstract: Sage comes with many common and not-so-common algebraic objects implemented such as permutation groups, polynomial rings, number fields, Lie algebras, manifolds, etc. However, it doesn't (yet) know every structure out there. So how do you teach Sage how to do computations in your favorite object not in Sage? Let's say you are interested in a group whose elements are parameterized by some interesting set of objects. You have to implement your group multiplication law on those objects, but now you also know that the group is finite. Sage knows how to do many things with a generic finite group, such as iterating over all of the elements. You don't want to copy all of that code. Instead you simply need to put your object in the category of finite groups to obtain all of those extra features. In this talk, we will give detailed examples of how to construct a new group and a new algebra in Sage using the category framework to make this easy and powerful.

mathematical softwaresymbolic computationMathematics

Audience: general audience

( slides | video )

---

Global Virtual SageDays 109

Series comments: Description: 50-hour virtual event for users and developers of SageMath

Please register, preferably before the start of the event, at zulip.sagemath.org/#narrow/stream/126-sd109/topic/Registration.20for.20Global.20Virtual.20SageDays.20109

Links to individual videostreams will be posted on Zulip before the beginning of each talk.

---