cancel
Showing results for 
Search instead for 
Did you mean: 
cancel
Showing results for 
Search instead for 
Did you mean: 

Community Tip - Did you get called away in the middle of writing a post? Don't worry you can find your unfinished post later in the Drafts section of your profile page. X

No solution found for solveblock

TR_9781963
9-Granite

No solution found for solveblock

I am getting error no solution found for solve block I tried to change the value for TOL and CTOL but with no luck

ACCEPTED SOLUTION

Accepted Solutions
LucMeekes
23-Emerald III
(To:TR_9781963)

I can get minerr to work on (what I think is) your problem:

with:

LucMeekes_0-1654118404241.png

You can define a matrix M with:

LucMeekes_1-1654118448988.png

Which means that M is:

LucMeekes_2-1654118470031.png

The rank of M is still 9, instead of 10, and its determinant is still 0 (according to the symbolic solver), so there is not a single, unique solution; this is still the same problem you had before.

Now you want to solve a in M*a=C, using minerr (that is, find a solution that is close).

Your guess values for vector a can be constructed with:

LucMeekes_5-1654118688909.png

Your solve block might look like this:

LucMeekes_3-1654118540833.png

And see, it produces an answer. But how good is it?

M multiplied with R1 should produce C. Let's see:

LucMeekes_6-1654118831004.png

We can calculate the relative errors:

LucMeekes_7-1654118874967.png

C9 and C10 are pretty closely obtained, but C2 is 7.5 % off.

 

Success!
Luc

 

View solution in original post

12 REPLIES 12
LucMeekes
23-Emerald III
(To:TR_9781963)

You have 10 equations, and 10 unknowns, but that does not guarantee there is a solution.

Assuming this set is equivalent to yours:

LucMeekes_0-1653492162130.png

I get no symbolic solution, which may indicate that the equations may not all be independent from every other.

Are you sure this must lead to a solution?

 

Success!

Luc

 

Werner_E
25-Diamond I
(To:TR_9781963)

As Luc already suspected there is no solution for your system using the numbers you provided for the P, T and Q variables.

As you can see in the screen shot below, the rank of the coefficient matrix is less than  10 (which means there is no unique solution, either none at all or an infinite number of solutions). Because the rank of the extended c.matrix is 10 this means that the system has no solution.

Werner_E_0-1653507502921.png

Changing some input values can make you system solve. As an example if you change T5 from 600 to 601 the system has a solution.

 

rank(M)=9 should also mean that the determinant of the matrix is zero, but  Primes numeric thinks its as large as 10^27! That seems as a severe bug to me. The symbolic evaluation returns the correct result.

Werner_E_1-1653507614654.png

Because the numeric thinks that the determinant is not zero, it will also calculate an inverse of M and you could use this to calculate the solutions for the a-values.

Werner_E_2-1653507698874.png

 

But because the determinant actually is zero and the determinant therefore not invertible, you sure should not trust those results 🙂

 

You may also use "minerr" instead of "find" in your solve block to find a best approximation. Not sure if those values would be of any value for you, though.

Werner_E_3-1653507951000.png

 

 

 

Thank you @Werner_E Werner for your inputs due to some conflicts I cannot share the files here in community.

I tried to genialize the worksheet and trying to solve it in a way you mentioned somehow i am still getting error. Can you let me know what i am missing in here?

LucMeekes
23-Emerald III
(To:TR_9781963)

For a start...

Your construct:

LucMeekes_0-1654094528646.png

does not lead to the result you (most probably) had in mind. The result of a program is the value of its last executed statement. In this case that is 

i

And since i has a final value of 10, your array a is a 11-element array, where the first element is 0 and all remaining elements have the value 10:

LucMeekes_1-1654094734689.png

How come 11 elements? Well... Mathcad indexes arrays starting at the element with position 0 (zero), by default. So you get this extra element. The index of the first element is controlled by the built-in variable ORIGIN.

Type

ORIGIN=

somewhere on your sheet and you'll see it gives the value 0.

You can set it to 1, via the menu, or by assigning it that value, like:

ORIGIN:=1

at the top of the sheet.

 

OK, Let's assume you've put ORIGIN:=1 at the top of your sheet.

Now you must realise that a range (such as how you defined i and n), is in fact a form of iteration. This means you can simply have the array a take on the values 10^m for each of its elements as follows:

LucMeekes_2-1654095708212.png

This will simply iterate through all values of i (from 1 to 10) and assign the corresponding elements of a the value 10^m.

 

Success!
Luc

 

 

 

 

 

I changed the origin to 1 but it did not provided me any result. I am trying to iterate the solution within loop can you help me to debug it or show how it can be done in prime?

LucMeekes
23-Emerald III
(To:TR_9781963)

I can get minerr to work on (what I think is) your problem:

with:

LucMeekes_0-1654118404241.png

You can define a matrix M with:

LucMeekes_1-1654118448988.png

Which means that M is:

LucMeekes_2-1654118470031.png

The rank of M is still 9, instead of 10, and its determinant is still 0 (according to the symbolic solver), so there is not a single, unique solution; this is still the same problem you had before.

Now you want to solve a in M*a=C, using minerr (that is, find a solution that is close).

Your guess values for vector a can be constructed with:

LucMeekes_5-1654118688909.png

Your solve block might look like this:

LucMeekes_3-1654118540833.png

And see, it produces an answer. But how good is it?

M multiplied with R1 should produce C. Let's see:

LucMeekes_6-1654118831004.png

We can calculate the relative errors:

LucMeekes_7-1654118874967.png

C9 and C10 are pretty closely obtained, but C2 is 7.5 % off.

 

Success!
Luc

 

Is it mandatory to generate the general format of polynomials automatically? You created for M, as the polynomial I am solving is of 3rd degree and would to increase it to 5th

LucMeekes
23-Emerald III
(To:TR_9781963)

You can easily extend it to 5th order. But if you want to include all cross products of A and B, your vector a will need to increase in length. And you'll need more equations, requiring longer A, B and C vectors as well.

 

As for the creation of equations: matrix M is easily enlarged by adding more expressions to the augment() function.

Most important is that you ensure that the data is such that the rank of M equals its number of rows (and columns), by choosing suitable values for A and B elements.

 

Success!

Luc

Thank you for the information. I would like to know what function in MathCAD prime could give me the general format of a specific polynomial.

For example, is there a function like

TR_9781963_0-1654202830693.png

is there a function in MathCAD that can do such a thing?

LucMeekes
23-Emerald III
(To:TR_9781963)

No, not built in, you'd have to write your own function. This comes close:

LucMeekes_0-1654206528324.png

It gives

LucMeekes_1-1654206542140.png

LucMeekes_2-1654206573073.png

and

LucMeekes_3-1654206587343.png

but then:

LucMeekes_4-1654206618706.png

 

Success!

Luc

 

LucMeekes
23-Emerald III
(To:LucMeekes)

You can even use this function to construct the necessary set of equations:

LucMeekes_0-1654241384501.png

Fed as Eq to:

LucMeekes_1-1654241391514.png

Gives:

LucMeekes_2-1654241436852.png

But more elegantly, AND to show that your set of input data is the cause for not finding a solution to your problem is:

LucMeekes_3-1654241513553.png

The above function creates the coefficient matrix for a ' polynome'  of order o, example:

LucMeekes_4-1654241565099.png

Now create a set of random vectors A, B and C for order 3:

LucMeekes_5-1654241606940.png

LucMeekes_6-1654241617597.png

LucMeekes_7-1654241633025.png

LucMeekes_8-1654241642070.png

That gives a coefficients matrix:

LucMeekes_9-1654241681166.png

Which allows to find the vector a that satisfies T*a=C with:

LucMeekes_10-1654241742835.png

Where

LucMeekes_11-1654241760954.png

Check:

LucMeekes_12-1654241772920.png

Note that the values of C are order 100, so the relative error is 10^-13/100=10^-15, that corresponds to 15 digits and to the precision of Prime's numeric processor.

Note also that for this (random) example, the rank of T is:

LucMeekes_13-1654241993537.png

Success!
Luc

 

 

 

 

Announcements

Top Tags