Computing monomial bases in Lie theory using OSCAR | Synapse