Merge pull request #473 from oscar-system/bl/bigobjtype

BigObject: helper for qualified type name

Project.toml

@@ -1,7 +1,7 @@
 name = "Polymake"
 uuid = "d720cf60-89b5-51f5-aff5-213f193123e7"
 repo = "https://github.com/oscar-system/Polymake.jl.git"
-version = "0.11.13"
+version = "0.11.14"
 
 [deps]
 BinaryWrappers = "f01c122e-0ea1-4f85-ad8f-907073ad7a9f"

src/perlobj.jl

@@ -20,11 +20,17 @@ function bigobject(fname::String, name::String; kwargsdata...)
 end
 
 function bigobject_eltype(obj::BigObject)
-   res = call_function(:User, :get_bigobject_elemtype, obj)
+   res = call_function(:common, :get_bigobject_elemtype, obj)
    res isa CxxWrap.StdString && !isempty(res) || error("could not determine element type of BigObject")
    return String(res)
 end
 
+function bigobject_qualifiedname(obj::BigObject)
+   res = call_function(:common, :get_bigobject_qualified_name, obj)
+   res isa CxxWrap.StdString && !isempty(res) || error("could not determine full type of BigObject")
+   return String(res)
+end
+
 # polymake can either just give a reference or do a full copy.
 # but even that full copy will contain references to the same data
 # objects in memory, but this is fine since most of them are immutable anyway.

src/polymake/julia.rules

@@ -89,6 +89,20 @@ function safe_to_string($) {
    return "$var";
 }
 
+function get_bigobject_elemtype($) {
+   my $params = $_[0]->type->params;
+   return "" unless defined($params) && @$params > 0;
+   if ($params->[0]->name =~ /^Min|Max$/) {
+      return $params->[1]->name;
+   } else {
+      return $params->[0]->name;
+   }
+}
+
+function get_bigobject_qualified_name($) {
+   return $_[0]->type->qualified_name;
+}
+
 package Polymake::User;
 
 function get_shell_scalar($) {
@@ -104,13 +118,3 @@ function set_shell_scalar($,$) {
    no strict 'refs';
    ${"Polymake::User::$varname"} = $obj;
 }
-
-sub get_bigobject_elemtype($) {
-   my $params = $_[0]->type->params;
-   return "" unless defined($params) && @$params > 0;
-   if ($params->[0]->name =~ /^Min|Max$/) {
-      return $params->[1]->name;
-   } else {
-      return $params->[0]->name;
-   }
-}

test/perlobj.jl

@@ -116,6 +116,7 @@
         P = @pm polytope.Polytope{Rational}(POINTS=[1 0.5 0; 1 0 1])
         @test P.VERTICES isa Polymake.Matrix{Polymake.Rational}
         @test Polymake.bigobject_eltype(P) == "Rational"
+        @test Polymake.bigobject_qualifiedname(P) == "polytope::Polytope<Rational>"
     end
 
     @testset verbose=true "PolymakeException" begin