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.