Hi, you can use regular expression to filter the result, for example
cat fricas-export.txt | sed -n -e 's/^([0-9]*) -> //p'
This way, you don't need to "Clear All fields", just export as verbatim.
But clearly the right thing to do is add the export functionality to
the texmacs/fricas
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)
> >
> > 2
Surprisingly a non-homogeneous polynomial of the same degree works OK
(69) -> factor((h3+1)*(h3+1))
(69)
[1 - z y x + z x y + y z x - y x z - x z y + x y z,
1 - z y x + z x y + y z x - y x z - x z y + x y z]
Type:
On Wed, Nov 7, 2018 at 8:37 AM Ray wrote:
> ...
> So homo_fact((x^2-y^2)^2)
> would succeed?
>
Yes.
(66) -> homo_fact((x^2-y^2)^2)
22 22
(66) [- y + x , - y + x ]
Type:
List(XDistributedPolynomial(OrderedVariableList([x,y,z,w,x1,x2,x3,x4,x5]),Integer))
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)
>>
>>
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)
>
> 24
>(111) [1 - 2 x + x ]
> Type:
Is there a way to export a TeXmacs file to the FriCAS .input file that can
be read by the )read command?
What I do now is in TeXmacs I do RightClick --> Session --> Clear All
fields, then File->Export/Verbatim, then manually edit the resulting file
to remove the FriiCAS session header at start