The term 'batch' refers to the actual mixture of materials that you weigh out when you prepare a glaze or clay body batch for production or testing. The term 'recipe' is more correct than 'formula', the latter refers to the chemistry of the mix. Glaze software is used to calculate the chemistry of a batch or to derive a recipe of materials that will produce a specific chemistry (oxide formula).
How to include stains in chemistry calculations in Insight
The simple answer is that you should not. The chemistry of stains is proprietary. Stain particles do not dissolve into the glaze melt like other materials, they suspend in the transparent glass to color it. That is why stains are color stable and dependable. In addition, their percentage in the recipe, not the formula, is the predictor of their effect on the fired glaze. Of course they do impose effects on the thermal expansion, melt fluidity, etc., but these must be rationalized by experience and testing. But you can still enter stains into Insight recipes. Consider adding the stains you use to your private materials database (for costing purposes for example).
Example of batch recipe with additions
A screen-shot from Insight-live.
Out Bound Links
In Bound Links