@lcz Isomorphic triangulations don't necessarily correspond to isomorphic binary trees, so I think a different approach is needed.

@OtherAlloyMonkey I left all the equations in terms of beta, and made all the constants exact. Then it is easy to see that the 5th and 6th rows of the matrix are identical, and therefore the determinant must be zero.

Model_Derivation_3.mw

@MaPal93 b² appears in the assignment to Var_Omega_S. I see many places your subscripts or superscripts or Greek letters are parts of atomic variables, which I suppose is OK, but not the b². This is a very strange way to use Maple. For example the line

looks like 1-D math but has Omega in. When converted from the right-click menu 2-D math-convert to 1-D math then we get the real 1-D math Omega := subs(repl, `Ωinst`); If I convert that to 2-Math input I get 

So you are using 2-D math and formatting it as 1-D math? I guess in that context the b² is OK, but not sure why you would do this.

I only answered the title part of your question, and do not understand what you are trying to do, which is why I replied to rather than answered your question. Hope someone else can help you with that.

Your Var_Omega_S has a (scalar) expression added to a Matrix, which doesn't make sense. This is manipulated and eventually passed to solve, which probably generates the error messages. (Also your 1-D math inputs have superscripts and subscripts, which seem strange - for example b² instead of b^2.)

@Diasaur @Pascal4QM @ecterrab I think your requirement was for block matrices, and my first attempt below was not successful, but I'm new using the Physics package so I may have missed something here. There have been requests for this capability over the years, and the Physics package is perhaps the best setting for it, but there are other ways of approaching it. 

What capabilities are required? What properties should the blocks have? Some are obvious: non-commutative, (a.b)^(-1) = b^(-1).a^(-1), same with transpose, associative, etc, but do you need conformability checks, where the blocks have specific dimensions? - that would add considerable complexity.

Download BlockMatrix.mw

See https://www.mapleprimes.com/questions/229829-How-I-Can-Download-The-ONEOptimal-Package

(and there are also other Mapleprimes responses if you put ONEOptimal in the MaplePrimes search box).

@zenterix My reply was in response to @PeterTang's, question, which seems to be simpler and not involve .mpl files.

@PeterTang To find the directory of a (previously saved) worksheet from the worksheet, use 

interface(worksheetdir)

@Carl Love Lucky eyeball!

@vs140580 It is a good general rule that data for processing numerically not differ by too many orders of magnitude from one. So scale independent or dependent data until it is all like this. This is what I did in your case - after scaling all columns had data of similar magnitude, with most values around 1-10.

You say C1 cannot be zero, but it was calculated as zero because of the numerical issue. After scaling, it was evident that it was not zero.

@William Han Sorry for the misleading answer. Here is one way to do it, another variation of the replies from the others.

Research.mw

@toran You can adapt into an algorithm, but it is always best to look at things.

Download bivariate2.mw

@toran Use implicitplot to look at your function in the region you are interested in - you can see where the roots are. Then choose an x value and find the corresponding y by something like

fsolve(eval(P,x=1.0),y=0..2)

where the y range is where you can see there is a root. (These values would work for the above plot)

If it is an isolated root you want, then algcurves:-singularities may be needed.

Perhaps if you supply the polynomial here, you can get more specific advice.

@nicolesharp100 As a shortcut you can use %,%%, and %%% to refer to the last result (in time), 2nd to last and third-to-last. I use them within an execution group but not across execution groups, to avoid confusing results in time with results by location. I think they work on the command line.

@nicolesharp100 I don't know how to do this. I rarely use eqn numbers (in fact my default is not to show them). But I just put every result in a variable, and that is how I refer to them in the next execution group.