isl_basic_set_reduced_basis: fix up documentation
isl_basic_set_reduced_basis: fix up documentation

Distrotech/isl,Meinersbur/isl,UBERTC/isl,PollyLabs/isl,jleben/isl,inducer/isl-mirror,inducer/isl-mirror,BenzoSM/isl,nicolasvasilache/isl,Distrotech/isl,evaautomation/isl,SaberMod/isl-current,serge-sans-paille/isl,BobSaget-Mod/libisl,KangDroidSMProject/ISL,KangDroidSMProject/ISL,pierrotdelalune/isl,serge-sans-paille/isl,abduld/isl,epowers/isl,BobSaget-Mod/libisl,cfx-next/toolchain_isl-upstream,cfx-next/toolchain_isl-upstream,inducer/isl-mirror,KangDroidSMProject/ISL,KangDroidSMProject/ISL,PollyLabs/isl,Distrotech/isl,Meinersbur/isl,SaberMod/isl-current,epowers/isl,BobSaget-Mod/libisl,simbuerg/isl,simbuerg/isl,BenzoSM/isl,tobig/isl,crossbuild/isl,PollyLabs/isl,cfx-next/toolchain_isl-upstream,PollyLabs/isl,jleben/isl,pierrotdelalune/isl,serge-sans-paille/isl,inducer/isl-mirror,epowers/isl,simbuerg/isl,crossbuild/isl,tobig/isl,evaautomation/isl,crossbuild/isl,UBERTC/isl,tobig/isl,Distrotech/isl,Meinersbur/isl,VanirLLVM/toolchain_isl,Distrotech/isl,abduld/isl,SaberMod/isl-current,VanirLLVM/toolchain_isl,BenzoSM/isl,evaautomation/isl,pierrotdelalune/isl,simbuerg/isl,epowers/isl,pierrotdelalune/isl,PollyLabs/isl,cfx-next/toolchain_isl-upstream,KangDroidSMProject/ISL,abduld/isl,VanirLLVM/toolchain_isl,jleben/isl,jleben/isl,crossbuild/isl,nicolasvasilache/isl,Meinersbur/isl,inducer/isl-mirror,epowers/isl,jleben/isl,abduld/isl,BobSaget-Mod/libisl,SaberMod/isl-current,BenzoSM/isl,BenzoSM/isl,evaautomation/isl,VanirLLVM/toolchain_isl,BobSaget-Mod/libisl,serge-sans-paille/isl,tobig/isl,cfx-next/toolchain_isl-upstream,pierrotdelalune/isl,UBERTC/isl,UBERTC/isl,VanirLLVM/toolchain_isl,nicolasvasilache/isl,nicolasvasilache/isl,simbuerg/isl,serge-sans-paille/isl,nicolasvasilache/isl