Fix is_very_ample (oscar-system#4105)

* Fix is_very_ample

Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
Co-authored-by: Lars Kastner <lkastner@users.noreply.github.com>

src/AlgebraicGeometry/ToricVarieties/ToricDivisors/properties.jl

@@ -131,7 +131,7 @@ false
 ```
 """
 @attr Bool function is_ample(td::ToricDivisor)
-  @req is_complete(toric_variety(td)) "Definition of ample divisor requires underlying toric variety to be complete. ([Def 6.1.9 CLS11])"
+  @req is_complete(toric_variety(td)) "Ampleness test is only implemented for complete toric varieties. ([Def 6.1.9 CLS11])"
   @req is_cartier(td) "Definition of ample divisor requires divisor to be Cartier. ([Def 6.1.9 CLS11])"
   return pm_object(td).AMPLE::Bool
 end
@@ -153,7 +153,10 @@ julia> is_very_ample(td)
 false
 ```
 """
-@attr Bool is_very_ample(td::ToricDivisor) = pm_object(td).VERY_AMPLE
+@attr Bool function is_very_ample(td::ToricDivisor)
+  @req is_complete(toric_variety(td)) "Very ampleness test is only implemented for complete toric varieties. ([Def 6.1.9 CLS11])"
+  return pm_object(td).VERY_AMPLE::Bool
+end
 
 
 @doc raw"""