# /media/bill/PROJECTS/Lucas - Universal Force/tranList Lucas notes.txt
# www.BillHowell.ca  03Apr2018 initial, 03Apr2018 updates
# 15Apr2018 currently assumes that [trans_table  trans_old  trans_new  trans_msg] exist


# 06Jul2018 general instructions for symbol [extract,translate] see : 
	"/media/bill/PROJECTS/Lucas - Universal Force/3 Instructions - symbols extractions and translations.txt"  
#


f_tranList_Lucas  :=  'tranList Lucas.ndf'  ;  
loaddefs_start  f_tranList_Lucas  ;  

# loaddefs '/media/bill/PROJECTS/Lucas - Universal Force/tranList Lucas.ndf'  


#*******************************
# load  [trans_table,transExpr_table]
see "/media/bill/PROJECTS/Lucas - Universal Force/tranLists.ndf"
	 trans_old_Lucas		 trans_new_Lucas		trans_msg_Lucas  :=   readfile_table  (link d_Lucas  'tranList Lucas.txt')  ;  
transExpr_old_Lucas  transExpr_new_Lucas  transExp_msg_Lucas  :=   readfile_table  (link d_Lucas  'tranExpr Lucas.txt')  ;  



#*******************************
#*******************************
# General information


# Column alignments : 
#  trans Lucas->HFLN (L->H : 
#	pattern 						replacement									explanation
#  trans HFLN->Lucas (H->L) : 
#	pattern 										replacement					explanation


# symTrans_lineType : special characters at beginning of lines :
# NOTE : these symbols are "persistent" until changed by a different symTrans_lineType (applies to next use of operators!!)
	`#		comment only - no translation or extraction of symbols
	`$		applies trans_Lucas				to a string 
	`%		applies trans_HFLN				to a string 

# 25Jul2018 no longer used as separate lists :
	`^		applies trans_Lucas_to_HFLN	to a string, new string has "%^" at start of line to help editing
	`&		applies trans_HFLN_to_Lucas	to a string, new string has "%^" at start of line to help editing


#*******************************
# trans_table  
# 03Apr2018  Often the symbols aren't wrong, it's just to conform to a redundant convention 
#    that hopefully will reduce errors.
# no need to list [sin,cos] with arguments, as these analysis apply only to their arguments
#    (of course, [cos,sin] MUST act on variables starting with "A"!!)
# For Chapter 4 - no permanent magnets so B0=0
# don't "translate up" from simple to more complex symbols - results in double translations and erroneous symbols
# 03Apr2018 Note that I didn't always properly use Lucas's primes to indicate frame of reference! (especially [E,B])


# symTrans_lineType : special characters at beginning of lines :
# NOTE : these symbols are "persistent" until changed by a different symTrans_lineType (applies to next use of operators!!)
	`#		comment only - no translation or extraction of symbols
	`$		applies trans_Lucas				to a string 
	`%		applies trans_HFLN				to a string 
	`^		applies trans_Lucas_to_HFLN	to a string, new string has "%^" at start of line to help editing
	`&		applies trans_HFLN_to_Lucas	to a string, new string has "%^" at start of line to help editing

msg_Lucas	:= 'translate Lucas to HFLN'  ;   
msg_RF_same	:= '[measure,POI] have same reference frame so POI is NOT a function of time'  ;  
msg_RF_diff	:= '[measure,POI] have different reference frame so POI IS a function of time'  ;  
msg_measure	:= '[measure,POI] are BOTH functions of time'  ;  
msg_B0		:= 'B0 is for non-changing permanent magnetism in the particle (as well as charge).  Not used in Chapter 4'  ;  
msg_BIp		:= 'BIpxx(POIp,t)=0, BIpxx(POIo(t),t)≠0 - NO induced magnetism in RFp for a POIp, but there IS for a POIo'  ;  
msg_EIp		:= 'EIpxx(POIp,t)=0, EIpxx(POIo(t),t)≠0 - NO induced electric field in RFp for a POIp, but there IS for a POIo'  ;  
msg_ETp		:= 'ETpxx(POIp)=E0pxx(POIp), EIpxx(POIo(t),t)=E0pxx(POIo(t),t)+EIpxx(POIo(t),t); ETpxx(POIp) & E0pxx(POIp) are constant'  ;   
msg_time		:= 'These measures     ARE functions of time: [Ap,Rp,Ep,Bp](POIo(t),t), [Ao,Ro](POIp(t),t), [Eo,Bo](POIo)'  ;  
msg_notime	:= 'These measures are NOT functions of time: [Ap,Rp,Ep,Bp](POIp),      [Ao,Ro](POIo),      [Eo,Bo](POIp(t),t)'  ;  
msg_greek	:= 'Greek symbols [θ,φ] are now used instead of [O,P] to indicate angles'  ; 
msg_VxR		:= 'Rpdh(Vonv_X_Rpcv(POIo(t)) - nonsensical as Vonv(particle) is in  RFo !!'  ;   
msg_abs		:= 'The absolute value (scalar) of a vector is denoted by changing the qualifier "v" to "s"'  ;   

msg_Lucas_sol := solitary msg_Lucas


# loaddefs '/media/bill/PROJECTS/Lucas - Universal Force/tranList Lucas.ndf'  

#	symbol 						replacement									explanation



# problematic for double-subsitutions
	'∇´'							'∇´=∂[∂t:'									'time derivative ∇´=∂[∂t:=(INNER [+,-])'


# correct symbols, so don't translate
	'Bi(r - v*t,t)'			'Bi(r - v*t,t)'							msg_Lucas_sol
	'Bi(r,v,t)'					'Bi(r,v,t)'									'needs explanation'
	'B(r,v,t)'					'B(r,v,t)'									msg_Lucas_sol
	'E(r´,v´,t´)'				'E(r´,v´,t´)'								msg_Lucas_sol
	'E(r,v,t)'					'E(r,v,t)'									msg_Lucas_sol
	'E(r´,v´)'					'E(r´,v´)'									'needs explanation'
	'E(r,v)'						'E(r,v)'										'needs explanation'
	'E(r)'						'E(r)'										'needs explanation'
	'E0(r,t)'					'E0(r,t)'									msg_Lucas_sol
	'E0(rs)'						'E0s(rs)'									'needs explanation'
	'E0(r)'						'E0(r)'										'needs explanation'
	'E0'							'E0'											'needs explanation'
	'E0s(rs)'					'E0s(rs)'									'needs explanation'
	'E0s(r)'						'E0s(r)'										'needs explanation'
	'Ei(r - v*t,t)'			'Ei(r - v*t,t)'							msg_Lucas_sol
	'Ei(rs,vs)'					'Ei(rs,vs)'									'needs explanation'
	'Es(rs,vs)'					'Es(rs,vs)'									'needs explanation'
	'ET'							'ET'											'needs explanation'
	'nh'							'nh'											'04-40  normal unit vector, needs explanation'
	'0 to Opf'					'0 to θ´f'									'needs explanation'
	'0 to Of'					'0 to θf'									'needs explanation'
	'q'							'q'											msg_Lucas_sol
	'rs'  						'rs'											msg_Lucas_sol
	'r'							'r'											'needs explanation'
	'U(r,v)'						'U(r,v)'										'05-02 Generalized_potential_U'
	'U'							'U'											'05-02 Generalized_potential_U'
	'vs' 							'vs'											msg_Lucas_sol
	'v'							'v'											'needs explanation'
	'∇´'							'∇´'											'time derivative dot-product=(INNER [+,-]) ∂[∂t:'


# loaddefs '/media/bill/PROJECTS/Lucas - Universal Force/tranList Lucas.ndf'  
t_input  t_standard  t_result

#*******************************  
#  transExpr_table  IS   -  corrections for specified general expressions (which do NOT start with a simple symbol 
#						followed immediately (no [spaces,tabls]) by a parenthetical expression
# 03Apr2018  Often the symbols aren't wrong, it's just to conform to a redundant convention 
#    that hopefully will reduce errors.

# WARNING!! IF symExpr_old has (NOT chrs_symbols_HFLN) at [inital,end], then the SAME must apply to symExpr_new!!!


#	symbol 						replacement									explanation



# think of later
	'Rodh(Vonv_X_Rpcv(POIo(t))'	'Rodh(Vonv_X_Rpcv(POIo(t))'		 (solitary  msg_WR_RF)  ;  
	'Rpdh(Vonv_X_Rpcv(POIo(t))'	'<<<  Rpdh(Vonv_X_Rpcv(POIo(t)) - nonsensical as Vonv(particle) is in  RFo !!  >>>'		 (solitary  msg_VxR)  ;  
;  


# correct expressions - don't put in translation table 
# these would be useful to help build a "full list of correct symbols" for [Lucas, HFLN] Chapter 4
	'Rocs(POIo)'				'Rocs(POIo)'								'-> OK don't include'
	'RFt'							'RFt'											'Reference frame ?? -> RFt'



loaddefs_ended  f_tranList_Lucas  ;  


# enddoc