The values array should be able to contain lib.pcf.PCF instances. When any PCF is included, first identify must check LIReC if its canonical form has any relations to a NamedConstant. If it does, terminate early and notify the user of the relevant NamedConstant(s) and the relation(s). Otherwise, compute the PCF to the desired minimum precision and then include it in the usual workflow of identify. However, warn the user if the PCF is predicted to have polynomial convergence, and add a max_cf_depth argument to identify that defaults to 2**20 and cuts off computation at max_cf_depth even if precision is not achieved, unless max_cf_depth=0 in which case this cutoff is disabled.
Also, once we add theorems on classes of PCFs (e.g. via CMFs), identify must check those as well before proceeding with any PCF it is given.
Finally, if any such PCF, checked through identify, is found to be connected to constants in LIReC, it must be automatically added as a PcfCanonicalConstant, or at least put on a special waiting list to independently verify by us. (most likely we will go with the waiting list)
The
valuesarray should be able to containlib.pcf.PCFinstances. When any PCF is included, firstidentifymust check LIReC if its canonical form has any relations to aNamedConstant. If it does, terminate early and notify the user of the relevantNamedConstant(s) and the relation(s). Otherwise, compute the PCF to the desired minimum precision and then include it in the usual workflow ofidentify. However, warn the user if the PCF is predicted to have polynomial convergence, and add amax_cf_depthargument toidentifythat defaults to2**20and cuts off computation atmax_cf_deptheven if precision is not achieved, unlessmax_cf_depth=0in which case this cutoff is disabled. Also, once we add theorems on classes of PCFs (e.g. via CMFs), identify must check those as well before proceeding with any PCF it is given. Finally, if any such PCF, checked through identify, is found to be connected to constants in LIReC, it must be automatically added as aPcfCanonicalConstant, or at least put on a special waiting list to independently verify by us. (most likely we will go with the waiting list)