Computing the Zariski closure of a finitely generated rational matrix group
This page contains the OSCAR implementation of a function for computing the
Zariski closure of a finitely generated rational matrix group. We refer to the
file manual.txt for more explanations.