Hi oldk1331, It's worked! Thanks very much!
BR XJ oldk1331 <[email protected]> 于2019年6月5日周三 下午12:54写道： > This is mostly due to change r2093 "Remove unsound structure > from completions", so OrderedCompletion doesn't have many > signatures anymore, especially 0$INF. > > I patched your file in attachment. > > On 6/5/19 9:25 AM, Xiaojun wrote: > > Hi! > > > > I'm trying to compile an old spad file but get an error: > > > > )compile ORESUS.spad > > > > Compiling FriCAS source code from file > > /Users/lxj/Dropbox/SourceCode/MyProjects/ORESUS/test/ORESUS.spad > > using old system compiler. > > ORESUS abbreviates domain UnivariateSkewSeries > > ------------------------------------------------------------------------ > > initializing NRLIB ORESUS for UnivariateSkewSeries > > compiling into NRLIB ORESUS > > compiling exported coerce : R -> $ > > ****** comp fails at level 2 with expression: ****** > > error in function coerce > > > > (|construct| | << | (|::| (|construct| |r|) (|Stream| R)) | >> | 0 > > (|::| 0 (|OrderedCompletion| (|Integer|)))) > > ****** level 2 ****** > > $x:= (:: (construct r) (Stream R)) > > $m:= R > > $f:= > > ((((|r| # #) (|copy| #) (|setelt!| #) (|lo| #) ...))) > > > > I'm pretty sure this file could be compiled before. It seems FriCAS has > > a lot of changes > > over time. > > > > So any suggestions on how to fix it? > > > > The spad file is attached. > > > > Thanks in advance! > > > > BR > > XJ > > > > -- > > 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] > > <mailto:[email protected]>. > > To post to this group, send email to [email protected] > > <mailto:[email protected]>. > > To view this discussion on the web visit > > > https://groups.google.com/d/msgid/fricas-devel/a3104bc3-77ba-4223-ae47-f04c4ba39adc%40googlegroups.com > > < > https://groups.google.com/d/msgid/fricas-devel/a3104bc3-77ba-4223-ae47-f04c4ba39adc%40googlegroups.com?utm_medium=email&utm_source=footer > >. > > For more options, visit https://groups.google.com/d/optout. > > -- > 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]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/0bc96f67-7d9b-0f65-66a4-d4f9b76388c5%40gmail.com > . > For more options, visit https://groups.google.com/d/optout. > -- Best regards, Xiaojun -- 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CALu0Lb2s97H4nR5wD%3Dy-gmGko%2BRff%3Dt301nkQBAoSQ-EaESQjw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
