Re: [fricas-devel] Noncommutative factorization

2018-11-07 Thread Ray
On 11/7/18 8:34 AM, Bill Page wrote: > On Tue, Nov 6, 2018 at 5:32 PM Bill Page wrote: >> >> On Tue, Nov 6, 2018 at 8:35 AM Waldek Hebisch >> wrote: >> >>> Since nobody seems to be interested in coding Davenport method >>> I did that. >> ... >> (111) -> homo_fact((x^2-1)^2) >> >>

Re: [fricas-devel] Sandbox-download?

2018-11-01 Thread Ray
ter commands, SPAD, and Aldor > library code to a form that can be directly input to FriCAS. Example: > > $ curl http://wiki.axiom-developer.org/SandBoxTest2/src | \ > ./mathaction2input > test2.input > > (Click on Tangle to get the Python script.) > > On Wed

[fricas-devel] Sandbox-download?

2018-10-31 Thread Ray
I made a silly mistake and corrected my sandbox page without having a source copy. Is there a way to download the Sandbox page as a *.input file, aside from manually cut/paste? RayR -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system"

Re: [fricas-devel] Noncommutative factorization

2018-10-25 Thread Ray
On 10/24/18 9:27 PM, Bill Page wrote: > On Wed, Oct 24, 2018 at 5:05 PM Waldek Hebisch > wrote: >> >> If you could find solution _in the fraction field_ then >> the method would be fine. However, in general finding >> rational solutions to polynomial system of equations is >> uncomputable. >

Re: [fricas-devel] Noncommutative factorization

2018-10-24 Thread Ray
On 10/24/18 4:09 PM, Bill Page wrote: >> I tried this on my saved version (part of a test -harness) and it works >> correctly. >> Here is the result >> (52) -> aa:=(x^2 - 2)*(y - 1)*(x - 1) >> >> 22 32 >>(52) - 2 + 2 y + 2 x - 2 y x + x - x

Re: [fricas-devel] Noncommutative factorization

2018-10-23 Thread Ray
On 10/22/18 9:55 AM, Waldek Hebisch wrote: > I looked ate noncommutative factorization code and AFAICS > 'xdpolyf1.spad' has serious problem. One example is: > > (58) -> factor((x^2 - 2)*(y - 1)*(x - 1)) > > 22 32 >(58) [- 2 + 2 y + 2 x -

[fricas-devel] NYTimes.com: All Those Books You’ve Bought but Haven’t Read? There’s a Word for That

2018-10-15 Thread Ray
This is my story and I am sticking to it! Sigh :-X >From The New York Times: All Those Books You’ve Bought but Haven’t Read? There’s a Word for That Most of us own books we’ve read and books we haven’t. Kevin Mims considers the importance of owning books we’ll never get around to finishing.

Re: [fricas-devel] Fwd: The free field in FriCAS :-)

2018-09-17 Thread Ray
On 09/17/2018 09:41 AM, Bill Page wrote: I still think a comprehensive testsuite for FDALG and related domains would be a valuable addition. Bill Page. Try this: https://github.com/ray-rogers/NC-FDA-testing Constructive suggestions appreciated; or just ask for rewrite privleges. I left

Re: [fricas-devel] Fwd: The free field in FriCAS :-)

2018-09-17 Thread Ray
except when it doesn't. Since there didn't seem to be interest in my doing the merge I halted on it and started looking into Schrempf's theory.  If anybody is interested I will go back to the coding and update Page's test output; my work on Schrempf's testing has certain refinements. Ray -- Yo

Re: [fricas-devel] unittest ??

2018-07-27 Thread Ray
On 07/27/2018 04:26 PM, Waldek Hebisch wrote: Ray wrote: I have a problem illustrated by code at the bottom.=C2=A0 The code is taken= =20 from the unittest pamphlet. integ.input Works but has a more complicated syntax. (1) -> )expose UnittestCount UnittestAux Unittest =C2=A0=C2

[fricas-devel] unittest ??

2018-07-27 Thread Ray
e: String (3) -> s1    (3)  "ab" Type: String (4) -> s2    (4)  "ab" Type: String (5) -> testEquals("s1", "s2")    >> Error detected within library code:    key not in table (5) -> Ray -- You received this message because you are subscri