@David Sycamore A symbol that looks similar to a stylized Greek phi is indeed a standard symbol for the empty set. Given that, {phi} represents the set that contains the empty set as its sole element, which is not the same thing as the empty set itself. If you're restricted to ASCII (plaintext) input, you can use { } unambiguously for the empty set, and this can also be used as Maple Input.

@Kitonum By {phi}, he means the empty set (although this notation is inaccurate).

@Stretto You wrote:

• No where on that page do they talk about using a database for pi(x).

Here is the relevant passage about the database for pi(x):

• Andrey V. Kulsha has a file of the successive rounded values of 1.5*(π(x)-li(x)) for the 100,000,000 multiples of 10⁹ less than 10¹⁷.... In 2014, Andrew Carr and I converted these to actually differences (rather than successive differences) so we can find π(x) for multiples of 10⁹ with a single file read and a quick calculation of li(x). For other values we use the nearest multiple of 10⁹ and sieve the region between to find π(x).

@Stretto You said, "Maple gives no indication how it is computing pi(x)." You can read the code via

showstat(NumberTheory::prime_counting);

You can see that it's quite simplistic compared to VV's.

@vv Good work on that procedure, and vote up.

Its time can be improved significantly with some remember tables and replacing some calls to ithprime with equivalent calls to nextprime.

restart:
Lpi := module()  # Lehmer pi
  local
      M:=10^7,
    
      phi := proc(x, a)
      option remember;
          if a <= 1 then iquo(x + 1, 2)
          else thisproc(x, a-1) - thisproc(iquo(x, ithprime(a)), a-1)
          fi
      end proc,

      ModuleApply:= proc(x)
      option remember;
      local a,b,c,s,w,i,j,L, xx:= trunc(x), p_i, p_j;
          if xx < M then return NumberTheory:-pi(x) fi;
          a := thisproc(iroot(xx, 4));;
          b := thisproc(isqrt(xx));
          c := thisproc(iroot(xx, 3));
          s := phi(xx,a) + (b+a-2) * (b-a+1) / 2;
          p_i:= ithprime(a+1)-1;
          for i from a+1 to b do
              w := iquo(xx , (p_i:= nextprime(p_i)));
              L := thisproc(isqrt(w));
              s-= thisproc(w);
              if i <= c then
                  p_j:= p_i - 1;
                  for j from i to L do
                      s-= thisproc(iquo(w , (p_j:= nextprime(p_j))))
                          - j + 1
                  od
              fi
          od;
          s
      end proc
;
end module:

CodeTools:-Usage(Lpi(6469693230));
memory used=3.40GiB, alloc change=80.00MiB, cpu time=29.58s, real time=26.99s, gc time=6.81s

                           300369796

By putting it in a module, as I have above, it will "learn" from each usage, making subsequent usages faster.

What do you mean by "I would like to plot the plane formed by the solutions"? The solution is a single point.

@mathkid99 It looks like you had specified elementwise multiplication rather than the usual matrix multiplication. Using the usual input syntax (rather than the more-elaborate form that's shown in your transcript), the elementwise multiplication of matrices A and B is A *~ B, and the usual matrix multiplication is A . B (spaces optional in both cases). Of course, each of these operations has its own size-matching requirements for the operands.

@kelvin goh It should be g, not g(x). It should be undefined, not undefine.

Even by imposing various severe conditions on the parameters (such as k_1= 0, k_2= 0), I can't get any solution where z <> 0 or w <> 0.

@Carl Love Here's the same thing done in code that should work in Maple 2015:
 

Download IntEq.mw

@Carl Love Gimme a moment, and I'll retrofit that to your Maple 2015.

@LichengZhang The English word "next" as used by John May implies something in the future. Maple 2019.2's release is something in the past.

Are you saying that after 6 years on MaplePrimes, you don't know how to even enter the above equations into Maple?

@Kitonum Please post worksheets inline so that I can read them on my phone. 

Please post worksheets inline so that I can read them on my phone.