För att förbättra precisions- och effektivitetsdelningsanalysen bör både frihet och linearitet följas. De abstrakta enhetsalgoritmerna för dessa kombinerade domäner är suboptimala, och därför finns det utrymme för att förbättra precisionen. I detta dokument föreslås tre optimeringar för att spåra delning i kombination med frihet och linearitet. En ny koppling mellan ekvationer och dela abstraktioner används för att fastställa riktigheten av dessa optimeringar även i närvaro av rationella träd. En metod för att beskära intermediära fördelningsuttag för att förbättra effektiviteten föreslås också. Optimeringarna är lätta och därför kommer vissa, om inte alla, av dessa optimeringar att vara av intresse för genomföraren.
Howe och King REF presenterar tre optimeringar för delning.
Three Optimisations for Sharing
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}