I have seen that behavior using Maple 2022.2 on Linux.

@KIRAN SAJJAN Please don't spawn a duplicate Question thread for this.

@_Username_ I suggest that you upload and attach the worksheet (green up-arrow in the Mapleprimes editor), in a separate Question thread.

Please stop marking all your Maple Questions as Product "MaplePrimes".

@lcz Sorry, I made a mental switch while editing. I wrote nops(L1) when I intended length(L1). I originally just used the numeral 4, when executing.

Ie, either of these is what I intended,

   foldl( (a, b)->SubstituteAll( a, b[] ), s, seq( [L1[i], L2[i]], i=1..4 ) );

   foldl( (a, b)->SubstituteAll( a, b[] ), s, seq( [L1[i], L2[i]], i=1..length(L1) ) );

I corrected it in my Answer.

@sursumCorda Carl previously gave the following in his Answer to the earlier Question thread:

    seq['fold'= (StringTools:-SubstituteAll, L)]('L1[i], L2[i]', i= 1..length(L1));

Carl prefaced that with, "...I'm not going to use the commands foldr or foldl documented on that page but rather a new option to seq that does essentially the same thing more efficiently."

The OP for both Question threads had, of course, already seen that earlier solution using fold. But the OP started out this current Question with a paragraph containing, "as Carl Love mentioned the foldl function, today I attempted to experience its functionality (In order to understand the foldl or foldr function)."

This seems to make it quite clear that the OP has started this new Question thread because he wants to know how he can instead use foldl or foldr to accomplish the task, and he already knows that kind of (indexed call) map/seq approach using fold.

@MANUTTM I don't understand what you're talking about.

Your first claim, "From graph that you generated we can see that maximum occurs at value of i less than 0.799" is wrong and untrue. The plot clearly shows that the maximum occurs for some value of i between 0.799999998 and 0799999999. And so the plot clearly shows that the maximum occurs at a value for i greater than 0.799 or 0.7999.

Your second claim, "But the Maximize function gives the value of i as 0.7999", is misguided and misplaced. The Maximize command returned the value 0.79999 only when I specified the allowed range as i=0.0..0.79999. In other words, it returned the upper end-point of the specified range -- because the function is increasing across that boundary. That indicated that I should try again, with a higher upper end-point for the allowed range -- which is why I called Maximize again.

When I increased the upper end-point of the allowed range then Maximize returned a result with a value for i that is clearly between 0.799999998 and 0799999999.

@lcz I don't understand what you mean when you say, "it should be able to recognize it."

Your attempt passes eight additional arguments after s,
   op([L1[1],L2[1]]),op([L1[2],L2[2]]),op([L1[3],L2[3]]),op([L1[4],L2[4]])
which flattens out to,
             "(", "{", ")", "}", "[", "{", "]", "}"
before foldl receives any arguments. And so your attempt results in 8 iterations of calls to SubstituteAll.

I dislike sursumCorda's approach of using unevaluations (quotes, or command) and additional eval calls. And that has nothing to do with my understanding. It's quite unnecessarily convoluted and opaque.

ps. I also see no reason to avoid,
   CharacterMap("()[]","{}{}",s)
by using,
   Subs(convert(L1,list)=~convert(L2,list),s)
The first of those is terser, more immediately understandable, uses fewer commands, produces fewer temporary structures, and doesn't require an elementwise construct.

@Kitonum The infix syntax K%.U that you've shown will not work in 2D Input in Maple 2021, which the OP has shown to be using.

It will instead parse % as the previous result.

@Rouben Rostamian  Yes, they do solve the original equation, and no, they are not spurious solutions.

@RezaZanjirani You can upload and attach worksheet (.mw file) using the green up-arrow in the Mapleprimes editor.

Alternatively, you could use Maple's lprint command to get a plaintext form of the expression(s) that you're passing to the solve command.

@Sphericalmoments You wrote, "I thought "GenerateBipartiteTournaments" is an available package in Maple."

Why did you think that?

Did you see someone use that command somewhere? Did you see something similar? Is there a reason not to explain in detail?

Please stop changing the Post to a Question, which I address to whomever keeps changing it.

The OP is reporting on a bug, and it's primariliy a technical discussion of that.

Doesn't your expression simplify to approximately zero (and if the floating-point coefficients are converted to exact rationals then exactly zero)?

If so, then isn't the ensuing plot just a representation of the numeric roundoff error incurred by floating-point evaluation at numeric values for x and t?

In other words, isn't your plot simply showing zero + roundoff noise?

I have deleted at least two duplicate Question threads by this member on this topic, or close example.