docno_NN =_SYM "_'' lists-_NN 046_CD -_: 12133410_CD "_'' name_NN =_SYM "_'' T._NN V._NN Raman_NNP "_'' email_NN =_SYM "_" raman@adobe.com_NN "_" sent_VBD =_SYM "_'' Tue_NNP ,_, 4_CD Jun_NNP 1996_CD 10:00:57_NN -_: 0700_CD "_'' inreplyto_NN =_SYM "_" 199606041558.AA160953903@w3.org_NN "_" id_NN =_SYM "_" 199606041700.KAA16946@labrador.mv.us.adobe.com_NN "_" *_NN X-Fax_NNP :_: 1_CD (_( 415_CD )_) 962_CD -_: 6063_CD *_NN X-Phone_NNP :_: 1_CD (_( 415_CD )_) 962_CD -_: 3945_CD subject_JJ =_SYM "_'' Minutes_NNPS June_NNP 3rd_CD "_'' To_TO :_: "_'' Dave_NNP Raggett_NNP "_'' <_NN dsr@w3.org_NN >_NN Cc_NNP :_: w3c-math-erb@w3.org_NN Regarding_VBG the_DT naming_NN of_IN subexpressions_NNS I_PRP 'd_MD like_VB to_TO point_VB out_IN two_CD slightly_RB differing_VBG kinds_NNS of_IN subexpression_NN /_NN expression_NN naming_VBG relevant_JJ to_TO producing_VBG speech_NN ._. 
In_IN AsTeR_NNP ,_, you_PRP could_MD name_VB a_DT cross-referencable_JJ object_NN such_JJ as_IN an_DT equation_NN with_IN meaningful_JJ names_NNS e.g._NN Fibonacci_NNP 's_POS formula_NN instead_RB of_IN equation_NN 1.13_CD --_: this_DT made_VBN listening_VBG to_TO cross-referenced_JJ material_NN easier_RBR ._. 
See_VB http://www.cs.cornell.edu/Info/People/raman/current/phd-thesis/html/node11._NN html_NN #_# SECTION_NN 00162000000000000000_CD 
AsTeR_NNP also_RB performed_VBD the_DT other_JJ kind_NN of_IN sub-expression_JJ naming_NN which_WDT I_PRP think_VBP got_VBN discussed_VBN yesterday_NN during_IN the_DT meeting_NN ._. 
I_PRP refered_JJ to_TO this_DT in_IN AsTeR_NNP as_IN "_'' variable_JJ substitution_NN "_'' ._. 
--_: "_'' folding_VBG "_'' to_TO use_VB Dave_NNP 's_POS terminology--_JJ 
AsTeR_NNP also_RB implemented_VBD a_DT fairly_RB straight-forward_JJ naming_NN algorithm_NN for_IN giving_VBG meaningful_JJ names_NNS to_TO sub-expressions_JJ e.g._NN "_'' lower_JJR constraint_NN 1_CD "_'' and_CC denominator_NN 3_CD "_'' etc._NN 
The_DT problem_NN of_IN recognizing_VBG that_IN two_CD subexpressions_NNS are_VBP identical_JJ is_VBZ actually_RB very_RB hard_RB if_IN you_PRP 're_VBP working_VBG with_IN a_DT written_JJ /_NN typeset_NN document_NN --_: AsTeR_NNP did_VBD not_RB attempt_VB to_TO do_VB this_DT ._. 
However_RB ,_, even_RB without_IN the_DT intelligence_NN to_TO recognize_VB two_CD semantically_RB equivalent_NN instances_NNS of_IN a_DT subexpression_NN ,_, "_'' variable_JJ substitution_NN "_'' or_CC "_'' folding_VBG "_'' as_IN Dave_NNP refers_VBZ to_TO it_PRP in_IN his_PRP$ minutes_NNS is_VBZ *_NN really_RB *_NN useful_JJ for_IN speech_NN and_CC I_PRP suspect_VBP it_PRP would_MD be_VB very_RB useful_JJ for_IN small_JJ visual_JJ displays_NNS ._. 
In_IN fact_NN after_IN I_PRP implemented_VBD the_DT variable_JJ substitution_NN in_IN AsTeR_NNP Rich_NNP Zippel_NNP at_IN Cornell_NNP pointed_VBD out_RP that_IN symbolic_JJ math_NN systems_NNS in_IN the_DT early_JJ 70_CD 's_POS had_VBD to_TO implement_VB something_NN analogous_JJ to_TO display_VB complex_JJ expressions_NNS since_IN the_DT displays_NNS available_JJ at_IN the_DT time_NN were_VBD not_RB as_RB graphically_RB rich_JJ as_IN what_WP we_PRP have_VBP today_NN ._. 
Here_RB are_VBP the_DT relevant_JJ sections_NNS from_IN the_DT thesis_NN :_: http://www.cs.cornell.edu/Info/People/raman/current/phd-thesis/html/node90.html_NN #_# SECTION_NN 00467000000000000000_CD and_CC http://www.cs.cornell.edu/Info/People/raman/current/phd-thesis/html/node83.html_NN #_# SECTION_NN 00460000000000000000_CD 
--_: Best_JJS Regards_NNP ,_, --_: raman_NNP 
Adobe_NNP Systems_NNPS Tel_NNP :_: 1_CD (_( 415_CD )_) 962_CD 3945_CD (_( B-_NNP 1_CD 115_CD )_) Advanced_NNP Technology_NNP Group_NNP Fax_NNP :_: 1_CD (_( 415_CD )_) 962_CD 6063_CD (_( E_NNP 1_CD -_: 160_CD )_) 1585_CD Charleston_NNP Road_NNP Email_NNP :_: raman@adobe.com_NN Mountain_NNP View_NNP ,_, CA_NNP 94039_CD -_: 7900_CD raman@cs.cornell.edu_NN http://www-atg/People/Raman.html_NN (_( Internal_NNP To_TO Adobe_NNP )_) http://www.cs.cornell.edu/Info/People/raman/raman.html_NN (_( Cornell_NNP )_) 
Disclaimer_NNP :_: The_DT opinions_NNS expressed_VBD are_VBP my_PRP$ own_JJ and_CC in_IN no_DT way_NN should_MD be_VB taken_VBN as_IN representative_NN of_IN my_PRP$ employer_NN ,_, Adobe_NNP Systems_NNPS Inc._NN 
