If anybody is interested:
In
A Standard Form in (some)
Free Fields: How to construct
Minimal Linear Representations
Konrad Schrempf
1803.10627.pdf
1) On page 7 "Scalar Multiplication" (first line) my original question
is defined/stated. I will follow up on checking how to access it in the
nc_ini03.input environment.
2) Example 3.4 doesn't work on my system. Is this just not implemented
or do I need more included functions?
--------
The command and answer is:
-> pp_02 : NCP :=(y^(-1)-x)^(-1)
>> Error detected within library code:
NCPOLY: inverse(f) - polynomial not invertible.
-------------
Is there a large gap between nc_ini03.input and 1803.10627.pdf; did I
misunderstand the relationship?
RayR
On 06/01/2018 04:31 PM, Bill Page wrote:
In principle what you want to do is not that difficult. You need the
base field to be something like Expression or maybe Fraction
MultivariatePolynomial, etc. , then the noncommutative polynomials are
defined over that. What is sometimes a bit tricky is to convince the
interpreter that certain symbols are to be interpreted as parameters
coming from the base field or as generators (noncommutative
variables). Usually you just need to be more explict about the types.
On Fri, Jun 1, 2018, 1:07 PM Raymond Rogers
<[email protected] <mailto:[email protected]>> wrote:
I certainly agree! It's turned a chore into something fun!
Question: is there some way to introduce a commutating
variable/parameter/undefined "a" into the the equations?
i.e. (1+3*x^2)*(2+a*x*y)
x,y NCP
"a" being a parameter, a member of K the base field.
Making it a part of the alphabet {x,y,a} works, produces some
reasonable
outputs, but I have a feeling that it's unnecessarily restrictive. I
hope this is not an _extremely_ silly question.
RayR
On 06/01/2018 09:25 AM, Bill Page wrote:
> Thank you. Please extend my compliments to the author of this
> excellent documentation.
>
> On Fri, Jun 1, 2018 at 1:53 AM, Franz Lehner
<[email protected] <mailto:[email protected]>> wrote:
>>
>> On Wed, 30 May 2018, Bill Page wrote:
>>> permits. Do you happen to know if the reference mentioned in the
>>> thesis: [Jan18] B. Janko, “Factorization of non-commutative
>>> Polynomials and Testing Full Matrices”, Projektarbeit, TU Graz (WS
>>> 2017/18), is available?
>> yes, I forgot to attach it in the previous mail.
>>
>> best regards,
>> Franz
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
