here is the result

Maple Worksheet - Error

Failed to load the worksheet /maplenet/convert/GROUP_REDUCTION_METHOD_EXAMPLE_20.mw .

Download GROUP_REDUCTION_METHOD_EXAMPLE_20.mwGROUP_REDUCTION_METHOD_EXAMPLE_20.mwGROUP_REDUCTION_METHOD_EXAMPLE_20.mw

Maple Worksheet - Error

Failed to load the worksheet /maplenet/convert/GROUP_REDUCTION_METHOD_EXAMPLE_20.mw .

Download GROUP_REDUCTION_METHOD_EXAMPLE_20.mw

Maple Worksheet - Error

Failed to load the worksheet /maplenet/convert/GROUP_REDUCTION_METHOD_EXAMPLE_20.mw .

Download GROUP_REDUCTION_METHOD_EXAMPLE_20.mw

 what i was trying to achieve

@nm look if you are in the same situation as i am sure i understand why they piss you off but the help system is extremely good, it would be hypocritical for me to say otherwise when i have used it so much.

and it has a bug where it sometimes inserts an additional comma somehow when you copy and paste stuff to and from inert  text and command line.

but seriously if you cant see why what you posted doesnt work, i just dont know what i can do to help you to be honest. anyway, this will help:

help(unapply);

showstat(unapply);

as in, if you look at the group above, very easy to see it can be reducled to only 3 2x2 matrices which can be parameterized with scalars to produce the total group as shown, ie it is a reducible group and im asking if there is a patch of code already for this. maple has a broad scope of computation in terms of set theory operators that hand complex arguements, thats in a nut shell why it appealled to me.

Well i didnt know these where done by maple already also! but just at first glance, two things stand out.

1) the function is only required to be algebraic

2)  these two lines are the transform being performed when the CAS is able to determine the ceiling

       F := eval(fnc,var = t);
       1/GAMMA(-v)*int((var-t)^(-v-1)*F,t = 0 .. var);

3) the reasons for failure of the procedure have been listed by the author of the code as seen below are:

"Cannot decide sign of integer order of derivative"

"Unable to determine ceiling of"

So, those would be the first few things i would take a look at, the transform being performed on F indeed looks like a laplace integral or inverse of, but anyway, that would be my starting place, manipulation of the arguements and functions of those arguements that the maple procedure executes.

showstat(fracdiff);

the error term for which i was previously referring to being convergent

CONGRUENT_FUNCTIONS_OF_THE_FRACTIONAL_PART_OVER_Q_LEMMA_411ERROR_TERM_ALL_ZERO_IDS.mw

yea it will take a few hours sometimes for mine to be visible i guess maybe they r doing the maintenance? lol

yep thanks i forgot about that one actually old favorite i am trying to work around using the floor function as much as i did in the past tho, ive found everything still seems to get buggy when its used in an indexing function( ie in the oprands of a discrete sum or series) but ill see how it goes

is there a chance you can whip up something like chloroform so that after im done she doesnt want talky time and understands the importance of me studying? well, not exactly, but yea passed out will do.

if (1) and (2) are known to have exact solutions and are of the same order, however one linear and the other non-linear.

yep. it is imbarassing being back to front at times.

@Carl Love just looking at the first case i submitted to the maple applications centre, the lastexception had error message "lack of hypergeometric convergence" so, im guessing thats why i wasnt welcoming with ballons and cake.

Its still very well within the CAS error handling potential either way well at least im confident looking at it 3 or 4 months later with the other case for psi i showed, so i dont see whats the need for all the phantom of the opera dramatics.

IS_problem_psi_function_lemma_4_and_asymptoptic_relation_of_interest.mw

Download IS_problem_psi_function_lemma_4_and_asymptoptic_relation_of_interest.mw

@Carl Love 

you might of already got here by now but this would be my take ive already uploaded you the first part may as well send theseIS_evalf_fix_case_three_error_DELTAS.mw

Download IS_evalf_fix_case_three_error_DELTAS.mw

@Carl Love see it works both ways for the evalf, some cases like case 3 im sharing with you today, thats extremly precise computation i dont mean to be rude or critical when im say a problem with this and that no i wouldnt use the software if i wasnt impressed with its functionality of course.

@Carl Love this is case three on the same part of my studies on the psi function, and i would remark the closeness of this approximation should be of reasonable interest to you

Download IS_case_three.mw