Hi Waldek,
The attached .input file demonstrates a weird bug.
When run in a fresh session, it aborts at
fromZTM2MYE(1$PZTM)
... to be more clear, the end of the output looks like this...
======================
fvZTM2(varsPZTM.5)
Compiling function fvZTM2 with type OrderedVariableList([Z[1],Z[2],T
,M[1],M[2],M[3],M[4],M[5],M[6],M[7]]) ->
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5
],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(
Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
(24) M
2
Type:
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
--fcZTM2(1$Q)
fromZTM2MYE(1$PZTM)
Local variable or parameter used in type
We will attempt to interpret the code.
Compiling function fromZTM2MYE with type
GeneralDistributedMultivariatePolynomial([Z[1],Z[2],T,M[1],M[2],M
[3],M[4],M[5],M[6],M[7]],Fraction(Integer),
SplitHomogeneousDirectProduct(10,3,NonNegativeInteger)) ->
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5
],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(
Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
>> System error:
The function BOOT::|*1;fcZTM2;1;initial| is undefined.
(25) ->
================================
If now I continue and type in with my keyboard, I get the following session.
================================
(25) -> fcZTM2(1$Q)
>> System error:
The function BOOT::|*1;fcZTM2;1;initial| is undefined.
(25) -> fcZTM2(c: Q): PMYE == c*(1$PMYE)
Function declaration fcZTM2 : Fraction(Integer) ->
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5
],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(
Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
has been added to workspace.
Compiled code for fcZTM2 has been cleared.
Compiled code for fromZTM2MYE has been cleared.
1 old definition(s) deleted for function or rule fcZTM2
Type:
Void
(26) -> fcZTM2(1$Q)
Local variable or parameter used in type
We will attempt to interpret the code.
Compiling function fcZTM2 with type Fraction(Integer) ->
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5
],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(
Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
(26) 1
Type:
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
(27) -> fromZTM2MYE(1$PZTM)
Local variable or parameter used in type
We will attempt to interpret the code.
Compiling function fromZTM2MYE with type
GeneralDistributedMultivariatePolynomial([Z[1],Z[2],T,M[1],M[2],M
[3],M[4],M[5],M[6],M[7]],Fraction(Integer),
SplitHomogeneousDirectProduct(10,3,NonNegativeInteger)) ->
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5
],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(
Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
(27) 1
Type:
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
================================
Interestingly, when I remove the -- in front of "fcZTM2(1$Q)" in the
attached file. Then the end of ")read bug.input" looks fine, see below.
How come that FriCAS complains about BOOT::|*1;fcZTM2;1;initial| ?
Ralf
================================
)read bug.input
...
(24) M
2
Type:
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
fcZTM2(1$Q)
Local variable or parameter used in type
We will attempt to interpret the code.
Compiling function fcZTM2 with type Fraction(Integer) ->
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5
],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(
Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
(25) 1
Type:
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
fromZTM2MYE(1$PZTM)
Local variable or parameter used in type
We will attempt to interpret the code.
Compiling function fromZTM2MYE with type
GeneralDistributedMultivariatePolynomial([Z[1],Z[2],T,M[1],M[2],M
[3],M[4],M[5],M[6],M[7]],Fraction(Integer),
SplitHomogeneousDirectProduct(10,3,NonNegativeInteger)) ->
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5
],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(
Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
(26) 1
Type:
GeneralDistributedMultivariatePolynomial([M[1],M[2],M[3],M[4],M[5],M[6],M[7],Y[1],Y[2],Y[3],Y[4],E[1],E[2],E[3],E[4]],Fraction(Integer),SplitHomogeneousDirectProduct(15,11,NonNegativeInteger))
(27) ->
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
N ==> NonNegativeInteger
Z ==> Integer
Q ==> Fraction Z
zvars: List Symbol := [("Z"::Symbol)[i] for i in 1..2]
mvars: List Symbol := [("M"::Symbol)[i] for i in 1..7]
vlZTM: List Symbol := concat(zvars, cons("T"::Symbol, mvars))
EZTM ==> SplitHomogeneousDirectProduct(#zvars+1+#mvars, #zvars+1, N)
PZTM ==> GeneralDistributedMultivariatePolynomial(vlZTM, Q, EZTM); PZTM
ovlZTM := enumerate()$OrderedVariableList(vlZTM)
varsPZTM := [x::PZTM for x in ovlZTM]
OVLZTM ==> OrderedVariableList vlZTM
evars: List Symbol := [("E"::Symbol)[delta] for delta in 1..4]
yvars: List Symbol := [("Y"::Symbol)[delta] for delta in 1..4]
vlMYE: List Symbol := concat [mvars, yvars, evars]
EMYE ==> SplitHomogeneousDirectProduct(#mvars+#yvars+#evars, #mvars+#yvars, N)
PMYE ==> GeneralDistributedMultivariatePolynomial(vlMYE, Q, EMYE)
OVLMYE ==> OrderedVariableList vlMYE
ovlMYE := enumerate()$OVLMYE
varsPMYE := [x::PMYE for x in ovlMYE]
fvZTM2(v: OVLZTM): PMYE == varsPMYE(lookup(v)-#zvars-1)
fcZTM2(c: Q): PMYE == c*(1$PMYE)
LIFTZTM2 ==> PolynomialCategoryLifting(EZTM, OVLZTM, Q, PZTM, PMYE)
fromZTM2MYE(p: PZTM): PMYE == map(fvZTM2, fcZTM2, p)$LIFTZTM2
fvZTM2(varsPZTM.5)
--fcZTM2(1$Q)
fromZTM2MYE(1$PZTM)
--fcZTM2(c: Q): PMYE == c*(1$PMYE)
--fromZTM2MYE(varsPZTM.5 + varsPZTM.6 * varsPZTM.7)
