The example worksheet uses table to determine the covering relations in a POSET. This is old (Maple 11 and earlier code) that I have been trying to update into a package to explore calculations in an algebraic structure.  The example procedure seems to work well, but because of problems with similar procedures elsewhere, I have some concerns about the validity of using tables in this fashion. Specifically, this procedure initializes a table, then proceeds to modify the table entries, and then reformats the sequences into sets.  I have not been able to find documentation for modifying entries in tables after they have been defined. The documentation for tables only covers adding entries, removing entries, but not modifying entries.

Is modifying tables as my  procedure does an undocumented feature?

In addition, the documentation does not explain how to clear a table. It only describes how to clear a table entry. Older code sometimes purported to clear a table by assigning its name (with uneval quotes) to itself, but this does not seem to work.

exampletableoperations.mw

In accordance with this statement obtained by Чебышёв (1853), each of 

simplify(int(x^(1/2)*(x^2 + 1)^(-3/4), x), symbolic);
simplify(int((x^(1)*(1 - x^2))^(1/3), x), symnolic);
simplify(int(x^(-1)*(x^6 + 1)^(-1/6), x), symnolic);
simplify(int(x^(17/2)*(x^2 + 1)^(1/4), x), symnolic);

can be reduced to an integral of rational functions, which can be expressed in terms of elementary functions. But it appears that Maple 2023.0 is still unable to completely calculate them. For instance: 
 

Download Chebyshev_theorem_on_the_integration_of_binomial_differentials.mw

However, closed-form (and readable) solutions in elementary forms exist (cf. Regression reports for Computer Algebra Independent Integration Tests. Summer 2022 version (12000.org)); in fact, Mathematica returns: 

So, why can't Maple find these compact antiderivatives (expressed by elementary functions) directly here? In other words, is there a way to resolve them in Maple without applying some change of the variable to these indefinite integrals manually?

The issue arises from solving the following ODEs in Maple (where a is a suitable real parameter): 

ode__1 := a*(diff(y(x), x) + 1)^2 + (y(x) - x)^2*diff(y(x), x) = 0: # dsolve(ode__1);
ode__4 := a*(x*diff(y(x), x) + y(x))^2 - (y(x) + x)^2*diff(y(x), x) = 0: # dsolve(ode__4);

However, dsolve cannot give fully simplified solutions, so I have to compute these unevaluated integrals (i.e., expr₁) manually: (For the sake of completeness, I list some related ODEs below.) 
 

Download senseless_results_of_int.mw
 

Download senseless_results_of_int.mw

As you can see, the lengthy output of is nearly meaningless! (And if you want to simplify it, Maple will simply return: Error, (in simplify/recurse) indeterminate expression of the form 0/0.) So, how do I get the simplified results in Maple?
The integrals are: 

expr__1 := [Int(1/(z^2 + sqrt(z^4 + 4*a*z^2) + 4*a), z), Int(-1/(z^2 - sqrt(z^4 + 4*a*z^2) + 4*a), z)]: # (value(expr__1));
expr__4 := [Int((z^2 - 4*a*z + sqrt(-4*a*z^3 + z^4 - 8*a*z^2 + 4*z^3 - 4*a*z + 6*z^2 + 4*z + 1) + 2*z + 1)/(z*(-4*a*z + z^2 + 2*z + 1)), z), Int(-(z^2 - 4*a*z + 2*z + 1 - sqrt((-4*a*z + z^2 + 2*z + 1)*(z + 1)^2))/(z*(-4*a*z + z^2 + 2*z + 1)), z)]: # (value(expr__4)):

Note. By the way, Mma can solve the original ODEs directly and explicitly: 

In[1]:= DSolve[a*(y'[x]+1)^2+(y[x]-x)^2*y'[x]==0,y[x],x,IncludeSingularSolutions->Automatic]

                                   2                3                    2
                  a - x C[1] - C[1]             16 a  - 4 a x C[1] - C[1]
Out[1]= {{y[x] -> ------------------}, {y[x] -> --------------------------}}
                       x + C[1]                     4 a (4 a x + C[1])

In[2]:= DSolve[a*(x*y'[x]+y[x])^2-(y[x]+x)^2*y'[x]==0,y[x],x,IncludeSingularSolutions->Automatic]

                     2 a C[1]       2 a C[1]     2  2 a C[1]
                  a E         (-(a E        ) + a  E         + x)
Out[2]= {{y[x] -> -----------------------------------------------}, 
                                     2 a C[1]
                                  a E         - x
 
                2 a C[1]    2 a C[1]
               E         (-E         + 2 a x)
>    {y[x] -> --------------------------------}}
                    2 a C[1]              2
              2 a (E         - 2 a x + 2 a  x)

Unfortunately, Maple fails to do so.

The ODE is: 

eqn := y(x)*(2*x*diff(y(x), x) + y(x)*(diff(y(x), x)^2 - 1)) = -1: # How about another ODE 'lhs(eqn) = +1' ?

Maple can solve it, but I find that (to get all four solutions) I have to execute the dsolve command twice: 
 

Download dsolve_twice.mw

However, in MATLAB^®, the complete solutions can be found just in one go: 

>> dsolve('y*(2*x*Dy + y*(Dy^2 - 1)) = -1', 'x') % require the Symbolic Math Toolbox™
ans =
                         1
                        -1
 -(-(x - 1)*(x + 1))^(1/2)
  (-(x - 1)*(x + 1))^(1/2)
 (C1^2 + 2*x*C1 + 1)^(1/2)
-(C1^2 + 2*x*C1 + 1)^(1/2)

Does anyone know why?

An interval graph is an undirected graph formed from a set of intervals on the real line, with a vertex for each interval and an edge between vertices whose intervals intersect. Recognizing interval graphs  is in linear time. 

Seven intervals on the real line and the corresponding seven-vertex interval graph.

IsIntervalGraph(G) (was introduced in Maple 2022) tests whether the graph G could be expressed as an interval graph for some collection of intervals. If a graph is an interval graph, then the intervals corresponding to its vertices should be given. However,  IsIntervalGraphdoes not provide such an option, which makes it impossible for me to verify the correctness of the results or see more information.

with(GraphTheory):
G:=Graph({{1,2},{1,3},{1,4}, {4,2},{4,3}});
IsIntervalGraph(G)

true

Therefore, an option like the "certificate" option in SageMath needs to be provided.

g = Graph({1: [2, 3, 4], 4: [2, 3]})
g.show()
g.is_interval()
g.is_interval(certificate=True)

(True, {1: (0, 5), 2: (4, 6), 3: (1, 3), 4: (2, 7)})

I have looked at the source code of IsIntervalGraphand it seems to be checking whether the complement graph is comparability. I am not sure if this transformation can still find the corresponding intervals.

print(IsIntervalGraph)
proc(G::GRAPHLN)::truefalse;
    local G2;
    G2 := GraphTheory:-GraphComplement(G);
    return GraphTheory:-IsComparabilityGraph(G2);
end proc

print(IsComparabilityGraph)
proc (G::GRAPHLN, { transitiveorientation::truefalse := false, 

   usecached::truefalseFAIL := FAIL }, ` $`)::truefalse; local 

   iscomparability, L, A, result, V; A := op(4, G); result := 

   FindTransitiveOrientation(A, transitiveorientation); if 

   result = NULL then false elif transitiveorientation then V 

   := op(3, G); true, GraphTheory:-Graph(V, result) else true 

   end if end proc

By the way, can the  "FindTransitiveOrientation "  in the function IsComparabilityGraph be used by the user?

https://www.maplesoft.com/support/help/Maple/view.aspx?path=copyright lists some external packages used by Maple, but it appears that certain libraries are of outdated (albeit not obsolete) versions. For example, Maple 2023 uses FLINT 2.6.3 (released in 2020), but the newest stable version of FLINT is 2.9.0. Also, Maple 2023 uses Z3 4.5.0 (released in 2016), but the newest stable version of Z3 is 4.12.1. In addition, Maple 2023 uses GCC 10.2.0 (released in 2020), but the newest stable version of GCC is 13.1. Since they are distributed under free licenses, I can download the most recent (or even nightly) release's source code, but how can I replace the old components that Maple uses by the latest ones by myself?

If there is a list of operations that do not work properly in 2D notation, please add the expression sequence operator `$` which does not work with strings as demonstrated in the attached worksheet . sequenceoperastionfailure.mw

It seems to work properly with numeric sequences. I only noticed this in maple 2023, but it likely applies to earlier versions as well

Someone added "Duplicate question" tag on this question.

How is this duplicate question? Where is the duplicate question? 

Is this a bug?

Accoding to this help page 

A derived class must not redeclare (via a local or export declaration) any members inherited from the base class

this example does not do this. But derived class gets an error when using ::static on a method declared in base class and this only shows up when using kernelopts('assertlevel'=2):

So it is either kernelopts('assertlevel'=2): is wrong or help is wrong.  Here is example

Download static_error.mw

Removing the line kernelopts('assertlevel'=2): the error goes away. Also keeping kernelopts('assertlevel'=2): but removing the ::static from the derived class the error goes way.

What is going on?

Maple 2023 on windows 10.

There appears to be a bug in Maple 2023.0 (Build ID 1689885)  that does not allow you to access submenus when the window is maximized.  For example, trying to select "Insert --> Execution Group" does not work, nor does any other submenu (the submenu will not display and is not accessible).  The only workaround is to un-maximize the window, select the submenu (for example "Insert --> Execution Group --> Before Cursor"), and then re-maximize the window.  Everything works as it should as long as the window is not maximized.  This is on Microsoft Windows 11 with a 2160p monitor.  Any suggestions on how to fix this are appreciated.

I compute some properties of some graphs and try to store their edge sets and their corresponding properties. I stored them using matrices, but now I want to export them to a file (csv format).

with(GraphTheory):
graphs := [seq(RandomGraphs:-RandomGraph(8, 9), 1 .. 10)]:
M0:=Edges~(graphs):
M1:=Girth~(graphs):
M2:=Diameter~(graphs):
B := Matrix(1..3,[M0,M1,M2]);
Export("E:/B.csv", B):

he exported file's data is messy, and it is difficult for me to observe the corresponding properties of the graphs.  I hope they can be sorted into three columns as shown below.

PS: I know that if the data has only one column, it can be done as discussed earlier. 

Export("E:/M.csv", M):

To make the data appear clearer, it is best to keep suitable spacing between columns.

multi_dimensional_data.mw

When making a module with option object, help says 

To create a new class of objects, use the named module declaration syntax with option object.

and it gives an example.  But what is the difference from using the standard module syntax?

This seems to work the same but may be there are cases where it makes a difference?  Here is an example. second case below is what help says to use. But first case is the original module syntax. Both work the same in this simple example.

Can one use either syntax, or is there any subtle difference in semantics that will show under more complicated setup?

Download syntax_of_OOP_module.mw

In traditional OOP, one can have a base class with its own constructor. Then extends this class, where the sub class has also its own consturctor. The first thing one does in the extending class constructor is to initialize the base class by calling base class constructor directly, before finishing the initializing of the extending class.

This is done in different ways. in Java the call super(...) is used for example. in C++ it is done by explicit call to base class constructor. Here is an example.  from the net.

But in Maple, I am not able to duplicate this. Because once ModuleCopy is defined (which is the name for the module constructor) in the base class, I can't have another ModuleCopy in the extending/child class. Maple complains because the name already exists.

In the following example, the base class represents a generic ode.

Then the extending/child class is meant to represent a first order ode which extends the base class and adds some specific functions that only meant to apply for first order ode type.

Later on I want to make a second order ode class and so on. All extend the base ode class. 

My question is: How to extend a class in Maple and have the extending/child class constructor call the base class constructor if one can't have more than one constructor when extending?

This Maple help shows one example of inhertance using Objects but this example does not use a constructor in the base of the child. I am assuming one needs to use ModuleCopy as the name for the constuctor since it specifies how an object is copied by Object so can't make my own function and pretend it is the constructor.

Download base_class_constructor.mw

UPDATE

This is workaround which seems to work OK. do not use ModuleCopy to construct an object, but have custom named function for each base and each child and call these explicitly.

So child constructor will  now call its parent constuctor using the specific name of that function. May be using some convention as  module_name_constuctor(....)   passing it what the parents needs.

The drawback is that now copying an object does not work automatically since ModuleCopy is missing.  but so far, I never had the need to copy one object to another, so I can live without it for now.
 

I think Maple OOP is not fully OOP,  but it is better than nothing.

Download base_class_no_constructor.mw

I was translating some code from Mathematica to Maple. Why MmaTranslator does not know about Mathematica's CubeRoot function? This was added in 2012 (more than 11 years ago).

Is this known? How could one teach Maple's MmaTranslator to convert CubeRoot[x] to surd(x,3)? Is it possible to manually add missing translations to this package? Otherwise I would have to manually edit lots of code and do this myself each time.

restart; 
with(MmaTranslator);
FromMma(`CubeRoot[9]`);

Gives CubeRoot(9) it should be surd(9, 3)

Version 2023 on windows 10

We can read all the graphs in a file at once, or we can use an iterative approach. But can I specify a certain number of lines to read? 

with(GraphTheory):
g:=ImportGraph("E:/5cc3free.txt", graph6, output=list)

The contents of 5cc3free.txt are as follows (all 5-vertex C_3 free connected graphs).  There are 6 lines.

D?{
D@s
DBw
DFw
DDW
DqK

The reason for wanting this kind of operation is that sometimes there are tens of thousands of graphs stored in a single file, and I want to read them in batches. For example, I want to extract the graph data from lines 1-2, 3-4, and 5-6 in batches. How can I accomplish this?

In the previous example, a small dataset was used for demonstration purposes. In the following example, which involves all 8-vertex connected graphs (see the attachment graph8c.txt), I want to extract the graphs from lines 200-300. 

I found that readline always starts reading from the first line of a file, so the efficiency may not be very high.

Here are three algebraic numbers: (In fact, they are solutions to some equation. See the attachment below.)

bSol := {RootOf(1216*_Z^4 + (264*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^8 + 408*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^7 - 1580*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^6 - 6832*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^5 + 3508*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^4 + 9944*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^3 + 9948*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^2 - 10752*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266) + 5204)*_Z^3 + (891*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^8 + 1652*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^7 - 4748*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^6 - 24076*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^5 + 5354*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^4 + 35356*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^3 + 29668*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^2 - 196*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266) + 3971)*_Z^2 + (506*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^8 + 980*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^7 - 2264*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^6 - 12420*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^5 + 3676*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^4 + 11596*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^3 + 33800*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^2 - 7772*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266) + 1210)*_Z - 473*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^8 - 720*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^7 + 2560*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^6 + 10960*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^5 - 8034*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^4 - 13840*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^3 - 9304*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266)^2 + 1104*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 0.2246 .. 0.2266) - 1133, index = real[2]), RootOf(1216*_Z^4 + (264*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^8 + 408*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^7 - 1580*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^6 - 6832*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^5 + 3508*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^4 + 9944*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^3 + 9948*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^2 - 10752*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68) + 5204)*_Z^3 + (891*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^8 + 1652*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^7 - 4748*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^6 - 24076*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^5 + 5354*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^4 + 35356*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^3 + 29668*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^2 - 196*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68) + 3971)*_Z^2 + (506*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^8 + 980*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^7 - 2264*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^6 - 12420*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^5 + 3676*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^4 + 11596*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^3 + 33800*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^2 - 7772*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68) + 1210)*_Z - 473*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^8 - 720*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^7 + 2560*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^6 + 10960*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^5 - 8034*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^4 - 13840*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^3 - 9304*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68)^2 + 1104*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 1.671 .. 1.68) - 1133, index = real[2]), RootOf(1216*_Z^4 + (264*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^8 + 408*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^7 - 1580*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^6 - 6832*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^5 + 3508*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^4 + 9944*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^3 + 9948*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^2 - 10752*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657) + 5204)*_Z^3 + (891*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^8 + 1652*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^7 - 4748*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^6 - 24076*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^5 + 5354*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^4 + 35356*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^3 + 29668*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^2 - 196*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657) + 3971)*_Z^2 + (506*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^8 + 980*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^7 - 2264*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^6 - 12420*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^5 + 3676*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^4 + 11596*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^3 + 33800*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^2 - 7772*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657) + 1210)*_Z - 473*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^8 - 720*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^7 + 2560*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^6 + 10960*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^5 - 8034*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^4 - 13840*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^3 - 9304*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657)^2 + 1104*RootOf(11*_Z^9 + 17*_Z^8 - 64*_Z^7 - 280*_Z^6 + 142*_Z^5 + 370*_Z^4 + 376*_Z^3 - 96*_Z^2 + 47*_Z - 11, 2.648 .. 2.657) - 1133, index = real[2])}:

One may check that 11_X⁹－47_X⁸＋96_X⁷－376_X⁶－370_X⁵－142_X⁴＋280_X³＋64_X²－17_X－11 is an “annihilating” polynomial of each of them (using another computer algebra system); accordingly, the degree of the minimal polynomial cannot be greater than 9. However, Maple's output indicates that the minimal polynomial is of degree 36! 

Download minpoly.mw

Isn't the results incorrect?